Constrained Partial Deduction and the Preservation of Characteristic Trees (1997)

Cached

Download Links

by Michael Leuschel , Danny De Schreye
Venue:NEW GENERATION COMPUTING
Citations:21 - 16 self

Documents Related by Co-Citation

241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
34 Logic Program Specialisation: How To Be More Specific – Michael Leuschel, Danny De Schreye - 1996
25 Advanced Techniques for Logic Program Specialisation – Michael Leuschel - 1997
42 Redundant Argument Filtering of Logic Programs – Michael Leuschel, Morten Heine Sørensen - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
51 The ECCE partial deduction system and the DPPD library of benchmarks, Release 3 – M Leuschel - 2000
1858 Foundation of Logic Programming – J W Lloyd - 1987
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
31 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
24 Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints – Michael Leuschel - 1995
39 Automatic finite unfolding using well-founded measures – B Martens, D De Schreye - 1996
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
43 An introduction to partial deduction – J Komorowski - 1992
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
32 The applicability of logic program analysis and transformation to theorem proving – D A de Waal, J Gallagher - 1994