Program specialisation and abstract interpretation reconciled (1998)

Cached

Download Links

by Michael Leuschel
Venue:In Joint International Conference and Symposium on Logic Programming
Citations:27 - 13 self

Documents Related by Co-Citation

241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
34 Logic Program Specialisation: How To Be More Specific – Michael Leuschel, Danny De Schreye - 1996
22 Combining abstract interpretation and partial evaluation – N D Jones - 1997
1858 Foundation of Logic Programming – J W Lloyd - 1987
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
42 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
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
36 Most specific logic programs – K Marriott, L Naish, J-L Lassez - 1988
147 A System For Specialising Logic Programs – J. P. Gallagher - 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
195 A practical framework for the abstract interpretation of logic programs – Bruynooghe - 1991
51 The ECCE partial deduction system and the DPPD library of benchmarks, Release 3 – M Leuschel - 2000
418 Logic programming – K Apt - 1990
18 Logic program specialisation – Michael Leuschel - 1999
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988
21 Constrained Partial Deduction and the Preservation of Characteristic Trees – Michael Leuschel, Danny De Schreye - 1997
63 The derivation of an algorithm for program specialisation – J Gallagher, M Bruynooghe - 1991
12 An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework – Manuel Hermenegildo, John P. Gallagher - 1999