|
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
|
|
4
|
Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs
– Norbert E. Fuchs, Markus P.J. Fromherz
- 1994
|
|
36
|
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
– Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
- 1999
|
|
9
|
Replacement Can Preserve Termination
– Annalisa Bossi, Nicoletta Cocco
|
|
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
|
|
55
|
Specifications Are (Preferably) Executable
– Norbert E. Fuchs
- 1992
|
|
52
|
Logic Program Synthesis from Incomplete Specifications
– Pierre Flener , Yves Deville
- 1993
|
|
35
|
Logic Program Synthesis
– Yves Deville, Kung-kiu Lau
- 1993
|
|
|
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
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
5
|
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
– E. Marakakis, J. P. Gallagher
- 1994
|
|
1
|
Logic Program Development Based on Typed, Moded Schemata and Data Types
– Emmanouil I. Marakakis
- 1997
|
|
34
|
Applying Techniques to Skeletons
– L. S. Sterling, M. Kirschenbaum
- 1993
|
|
25
|
A conceptual embedding of folding into partial deduction: Towards a maximal integration
– Michael Leuschel, Danny De Schreye, André De Waal
- 1996
|
|
|
Unfolding and Aggregating Transformations of Real Prolog Programs
– J.-F. Rabaute, Ph. Devienne, A. Parrain, S. Varennes, P. Taillibert, Dassault Electronique
|
|
3
|
The branching-time transformation technique for chain datalog programs
– Panos Rondogiannis, Manolis Gergatsoulis
- 2001
|
