|
230
|
Partial evaluation in logic programming
– J W Lloyd, J C Shepherdson
- 1991
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
|
47
|
Global control for partial deduction through characteristic atoms and global trees
– Michael Leuschel, Bern Martens
- 1995
|
|
59
|
A general criterion for avoiding infinite unfolding during partial deduction
– M Bruynooghe, D De Schreye, B Martens
- 1992
|
|
94
|
An Automatic Partial Evaluator for Full Prolog
– Dan Sahlin
- 1991
|
|
37
|
De Schreye. Automatic finite unfolding using well-founded measures
– B Martens, D
- 1996
|
|
17
|
Towards Creating Specialised Integrity Checks Through Partial Evaluation
– Michael Leuschel, Danny De Schreye
- 1995
|
|
32
|
Controlling Conjunctive Partial Deduction of Definite Logic Programs
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen
- 1996
|
|
61
|
The derivation of an algorithm for program specialisation
– J Gallagher, M Bruynooghe
- 1991
|
|
43
|
Meta-Programming in Logic Programming
– P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher
- 1994
|
|
59
|
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
– Bern Martens, John Gallagher
- 1995
|
|
31
|
A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel
– C A Gurr
|
|
48
|
The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai
– M Leuschel
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
43
|
An introduction to partial deduction
– J Komorowski
- 1992
|
|
25
|
Supporting transformations for the partial evaluation of logic programs
– K Benkerimi, P M Hill
- 1993
|
|
44
|
Loop checking in partial deduction
– R Bol
- 1993
|
