A Constraint-based Partial Evaluator for Functional Logic Programs and its Application (1998)

by Laura Lafave
Citations:12 - 0 self

Active Bibliography

2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
2 Call-by-Name Partial Evaluation of Functional Logic Programs – M. Alpuente, M. Falaschi, P. Julian, G. Vidal - 1996
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
3 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti
15 Specialization of Functional Logic Programs Based on Needed Narrowing – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 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
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
11 Safe Folding/Unfolding with Conditional Narrowing – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1997
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
5 Partial Deduction System – Michael Leuschel - 1997
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997