Meta-Programming in Logic Programming (1994)

Cached

Download Links

by P.M. Hill , J.G. Gallagher , P. M. Hill , J. Gallagher
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming
Citations:46 - 3 self

Documents Related by Co-Citation

60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
1858 Foundation of Logic Programming – J W Lloyd - 1987
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
15 Two semantics for definite meta-programs, using the non-ground representation – B MARTENS, D DE SCHREYE - 1995
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
36 Logimix: a self-applicable partial evaluator for prolog – T Mogensen, A Bondorf - 1993
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
39 Automatic finite unfolding using well-founded measures – B Martens, D De Schreye - 1996
51 The ECCE partial deduction system and the DPPD library of benchmarks, Release 3 – M Leuschel - 2000
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
621 The Art of Prolog – L Sterling, E Shapiro - 1986
22 On the semantics of meta-programming and the control of partial deduction in logic programming – B MARTENS - 1994
256 The godel programming language – P M Hill, J W Lloyd - 1992
29 Schreye. Why untyped non-ground meta-programming is not (much of) a problem – B Martens, D De - 1992
43 An introduction to partial deduction – J Komorowski - 1992
63 A general criterion for avoiding infinite unfolding during partial deduction – M BRUYNOOGHE, D DE SCHREYE, B MARTENS - 1992
48 Loop Checking in Partial Deduction – R Bol - 1993