Representing Logic Program Schemata in Prolog (1995)

Cached

Download Links

by Timothy S. Gegg-harrison
Venue:Proceedings of the Twelfth International Conference on Logic Programming
Citations:13 - 2 self

Active Bibliography

2 Representing Logic Program Schemata in lambdaProlog – Timothy S. Gegg-harrison
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson - 1999
8 Exploiting Program Schemata in a Prolog Tutoring System – Timothy S. Gegg-harrison, Timothy S. Gegg-harrison - 1993
A Schema-Based Approach to Teaching Programming in Lisp and Prolog – Maria Bielikova, Pavol Navrat - 1996
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
5 Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
1 Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation – Wamberto W Vasconcelos, Norbert E Fuchs - 1995
2 Implicit program synthesis by a reversible metainterpreter – Henning Christiansen - 1998
Prolog Program Development via Enhanced Schema-Based Transformations – Wamberto Vasconcelos Norbert, Norbert E. Fuchs - 1995
4 Prolog Program Development via Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
5 Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types – E. Marakakis, J. P. Gallagher - 1994
2 Logic Program Development Based on Typed, Moded Schemata and Data Types – Emmanouil I. Marakakis - 1997
57 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
5 Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs – Pierre Flener, Yves Deville - 1993
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs – Spiro Michaylov, Iván Ordóñez - 1995
17 On Correct Program Schemas – Pierre Flener , Kung-Kiu Lau, Mario Ornaghi
24 Skeleton-based Agent Development for Electronic – Institutions Wamberto Vasconcelos, Wamberto W. Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol - 2002