Offline specialisation in Prolog using a hand-written compiler generator (2004)

by Michael Leuschel , Jesper Jørgensen
Citations:42 - 21 self

Documents Related by Co-Citation

53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
1852 Foundations of Logic Programming – J W Lloyd - 1987
239 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
638 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
50 The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai – M Leuschel
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
118 Efficient Model Checking Using Tabled Resolution – Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren - 1997
15 A Polyvariant Binding-Time Analysis for Off-line Partial Deduction – Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas - 1998
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
14 Design and Implementation of the High-Level Specification Language CSP(LP – M Leuschel - 1990
211 XSB as an Efficient Deductive Database Engine – Konstantinos Sagonas, Terrance Swift, David S. Warren - 1994
25 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
41 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
42 Redundant Argument Filtering of Logic Programs – Michael Leuschel, Morten Heine Sørensen - 1996
6 Analysis and specialisation of a PIC processor – Kim S Henriksen, John P Gallagher - 2004