Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments (1999)

by Danny De Schreye , Robert Glück , Jesper Jørgensen , Michael Leuschel , Bern Martens , Morten Heine Sørensen
Venue:J. LOGIC PROGRAMMING
Citations:41 - 19 self

Documents Related by Co-Citation

246 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
60 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
152 A System For Specialising Logic Programs – J. P. Gallagher - 1991
435 Logic Programming – K R Apt - 1990
61 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
1921 Foundations of Logic Programming – J Lloyd - 1987
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher