An Automatic Partial Evaluator for Full Prolog (1991)

Cached

Download Links

by Dan Sahlin
Citations:102 - 0 self

Documents Related by Co-Citation

241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
1858 Foundation of Logic Programming – J W Lloyd - 1987
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
63 A general criterion for avoiding infinite unfolding during partial deduction – M BRUYNOOGHE, D DE SCHREYE, B MARTENS - 1992
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
39 Automatic finite unfolding using well-founded measures – B Martens, D De Schreye - 1996
48 Loop Checking in Partial Deduction – R Bol - 1993
46 Meta-Programming in Logic Programming – P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher - 1994
43 An introduction to partial deduction – J Komorowski - 1992
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
22 On the semantics of meta-programming and the control of partial deduction in logic programming – B MARTENS - 1994
26 Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures – B Martens, D De Schreye, M Bruynooghe - 1992
51 The ECCE partial deduction system and the DPPD library of benchmarks, Release 3 – M Leuschel - 2000
27 Conjunctive Partial Deduction in Practice – Jesper Jørgensen, Michael Leuschel, Bern Martens - 1996
11 Partial evaluation of the "real thing – M Leuschel - 1995