Redundant Argument Filtering of Logic Programs (1996)

View PDF

Download Links

by Michael Leuschel , Morten Heine Sørensen
Venue:Logic Program Synthesis and Transformation. Proceedings of LOPSTR’96, LNCS 1207
Citations:46 - 19 self

Active Bibliography

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
20 Advanced Logic Program Specialisation – Michael Leuschel
J. LOGIC PROGRAMMING 1999:41:233{277 233 CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, AND EXPERIMENTS – Danny De Schreye, Robert Gl, Michael Leuschel, Bern Martens, Morten
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
Advanced Analysis and Specialization for Pervasive Systems Integrated Abstract Interpretation and Deliverable number: D4 Online Specialization – unknown authors - 2003
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen - 1996
45 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
5 Partial Deduction System – Michael Leuschel - 1997
Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs – Controlling Generalisation, Michael Leuschel, Michael Leuschel, Bern Martens, Bern Martens, Danny De Schreye, Danny De Schreye - 1997