Rules and Strategies for Transforming Functional and Logic Programs (1996)

Cached

Download Links

by A. Pettorossi , M. Proietti , R. Dicembre
Venue:ACM Computing Surveys
Citations:76 - 4 self

Active Bibliography

1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 1996
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
20 Algebra of logic programming – Silvija Seres - 1999
29 Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs – Alberto Pettorossi, Maurizio Proietti - 1999
8 A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties – Alberto Pettorossi, Maurizio Proietti, Such That P - 1996
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
2 Logic Program Development Based on Typed, Moded Schemata and Data Types – Emmanouil I. Marakakis - 1997
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
2 Call-by-Name Partial Evaluation of Functional Logic Programs – M. Alpuente, M. Falaschi, P. Julian, G. Vidal - 1996
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
4 Program Specialization via Algorithmic Unfold/Fold Transformations – Alberto Pettorossi, Maurizio Proietti - 1998
5 Rules + Strategies for Transforming Lazy Functional Logic Programs – María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal - 2004
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
14 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
4 Program Derivation = Rules + Strategies – Alberto Pettorossi, Maurizio Proietti - 2001