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

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

Documents Related by Co-Citation

57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
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
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
55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
102 An Automatic Partial Evaluator for Full Prolog – Dan Sahlin - 1991
119 Efficient Model Checking Using Tabled Resolution – Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren - 1997
26 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
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
43 The minimal coverability graph for Petri nets – A Finkel - 1993
154 Parallel program schemata – Richard M Karp, Raymond E Miller - 1969
16 Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification (Extended Abstract) – Robert Glück, Michael Leuschel - 2000
14 Design and Implementation of the High-Level Specification Language CSP(LP – M Leuschel - 1990
213 XSB as an Efficient Deductive Database Engine – Konstantinos Sagonas, Terrance Swift, David S. Warren - 1994