LOPSTR
1997
Springer
13 years 8 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
LOPSTR
1997
Springer
13 years 8 months ago
1997
Springer
LOPSTR
1997
Springer
13 years 8 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
LOPSTR
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...