Representing Logic Program Schemata in lambdaProlog

Cached

Download Links

by Timothy S. Gegg-harrison
Citations:2 - 0 self

Active Bibliography

13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson - 1999
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
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
1 Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation – Wamberto W Vasconcelos, Norbert E Fuchs - 1995
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
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
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
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs – Spiro Michaylov, Iván Ordóñez - 1995
24 Skeleton-based Agent Development for Electronic – Institutions Wamberto Vasconcelos, Wamberto W. Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol - 2002
1 Automatic Extraction of Logic Program Transformations from Examples – Wamberto Weber Vasconcelos, Marcelo A.T. Aragão, Marcelo A. T. Arag~ao - 1999
2 Logic Program Schemas, Semi-Unification and Constraints – Eric Chasseur, Yves Deville, Universit'e Catholique De Louvain
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