A Comparative Revisitation of Some Program Transformation Techniques (1996)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:Partial Evaluation, Int'l Seminar, Dagstuhl
Citations:23 - 0 self

Active Bibliography

76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
A. Pettorossi, M. Proietti TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – R. Novembre
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
34 Transformation of Logic Programs – Alberto Pettorossi, Maurizio Proietti - 1998
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
ET EVALUATION PARTIELLE EN PROLOG presente par – Francois-nicola Demers, Francois-nicola Demers, Rachida Dssouli, Jacques Malenfant, Michel Boyer
4 A Toolkit for Static Analysis of Constraint Logic Programs – Hüseyin Saglam - 1997
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 1996
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
15 A Polyvariant Binding-Time Analysis for Off-line Partial Deduction – Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas - 1998
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
19 Partial Deduction of the Ground Representation and its Application to Integrity Checking – Michael Leuschel, Bern Martens - 1995
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002