Sciweavers

LOPSTR
1997
Springer

Implicit Program Synthesis by a Reversible Metainterpreter

13 years 7 months ago
Implicit Program Synthesis by a Reversible Metainterpreter
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central component is a reversible metainterpreter, in the sense that it is equally well suited for generating object programs as well as for executing them. Requirements telling that certain goals should be provable in a program sought can be integrated with additional sideconditions expressed by the developer at the metalevel, and the resulting specifications tend to be quite concise and declarative. For problems up to a certain degree of complexity, this provides a mode of working characterized by experimentation and an ability to combine different methods which is uncommon in most other systems for program synthesis. Reversibility in the metainterpreter is obtained using constraint logic techniques.
Henning Christiansen
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where LOPSTR
Authors Henning Christiansen
Comments (0)