|
|
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
|
|
8
|
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
|
|
23
|
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
|
|
6
|
Synthesis of programs in computational logic
– David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
- 2004
|
|
35
|
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
|
