Proving the Correctness of Recursion-Based Automatic Program Transformations (1996)

Cached

Download Links

by David Sands
Venue:Theoretical Computer Science
Citations:31 - 4 self

Active Bibliography

8 Higher-Order Expression Procedures – David Sands - 1995
20 Total Correctness by Local Improvement in Program Transformation – David Sands - 1995
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
10 Improvement Theory and its Applications – David Sands - 1997
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
3 Controlling Conjunctive Partial Deduction – Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen - 1996
32 Controlling Conjunctive Partial Deduction of Definite Logic Programs – Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen - 1996
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
A Comparison of Program Transformation Systems – Michael Dever, G. W. Hamilton
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
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
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
Accepted for publication in Theory and Practice of Logic Programming 1 Removing Redundant Arguments Automatically – M. Alpuente, S. Escobar, S. Lucas - 2006
On Deforesting Parameters of Accumulating Maps (Extended Abstract) – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2001
5 On Deforesting Parameters of Accumulating Maps – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2002
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
22 Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC – Morten Heine Sørensen, Robert Glück, Neil D. Jones - 1994