Extensible Logic Program Schemata

Cached

Download Links

by Timothy S. Gegg-harrison
Citations:11 - 1 self

Active Bibliography

An Abstract Formulation of Correct Schemas for Program Synthesis – P. Flener, Kung-kiu Lau, Mario Ornaghi, Julian Richardson - 1999
2 Representing Logic Program Schemata in lambdaProlog – Timothy S. Gegg-harrison
17 On Correct Program Schemas – Pierre Flener , Kung-Kiu Lau, Mario Ornaghi
13 Representing Logic Program Schemata in Prolog – Timothy S. Gegg-harrison - 1995
9 Generalised Logic Program Transformation Schemas – Halime Büyükyıldız , Pierre Flener - 1997
2 Implicit program synthesis by a reversible metainterpreter – Henning Christiansen - 1998
2 Logic Program Schemas, Semi-Unification and Constraints – Eric Chasseur, Yves Deville, Universit'e Catholique De Louvain
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
Schema-Based Logic Program Transformation – Engineering And Information, Ilyas C Icekli, Prof Mehmet Baray, Halime Buyukyildiz
24 Skeleton-based Agent Development for Electronic – Institutions Wamberto Vasconcelos, Wamberto W. Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol - 2002
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 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
8 Exploiting Program Schemata in a Prolog Tutoring System – Timothy S. Gegg-harrison, Timothy S. Gegg-harrison - 1993
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto Vasconcelos Norbert, Norbert E. Fuchs - 1996
8 Synthesis of programs in computational logic – David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson - 2004
38 Logic Program Synthesis – Yves Deville, Kung-kiu Lau - 1993
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs – Spiro Michaylov, Iván Ordóñez - 1995
A Schema-Based Approach to Teaching Programming in Lisp and Prolog – Maria Bielikova, Pavol Navrat - 1996