Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)

Cached

Download Links

by Michael Leuschel , Bern Martens
Venue:Proceedings of ILPS'95, the International Logic Programming Symposium
Citations:19 - 12 self

Documents Related by Co-Citation

1856 Foundations of Logic Programming – J W Lloyd - 1987
240 Partial evaluation in logic programming – J Lloyd, J Shepherdson - 1987
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
138 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
48 Global control for partial deduction through characteristic atoms and global trees – Michael Leuschel, Bern Martens - 1995
63 A general criterion for avoiding infinite unfolding during partial deduction – M Bruynooghe, D De Schreye, B Martens - 1992
103 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft, L O Andersen, T Mogensen - 1993
39 De Schreye. Automatic finite unfolding using well-founded measures – B Martens, D - 1996