Author:
Flener Pierre,Deville Yves
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.
2. P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer, 1995.
3. P. Flener and Y. Deville. Logic Program Transformation through Generalization Schemata. TR BU-CEIS-95xx, Bilkent University, Ankara (Turkey), 1995.
4. N.E. Fuchs and M.P.J. Fromherz. Schema-based transformations of logic programs. In Clement and Lau (eds), Proc. of LOPSTR'91, pp. 111–125. Springer-Verlag, 1992.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Correct Program Schemas;Logic Program Synthesis and Transformation;1998
2. Implicit Program Synthesis by a Reversible Metainterpreter;Logic Program Synthesis and Transformation;1998
3. Logic Program Schemas, Constraints, and Semi-unification;Logic Program Synthesis and Transformation;1998
4. Generalised Logic Program Transformation Schemas;Logic Program Synthesis and Transformation;1998