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

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
7 Higher-Order Expression Procedures – David Sands - 1995
20 Total Correctness by Local Improvement in Program Transformation – David Sands - 1995
33 A Roadmap to Metacomputation by Supercompilation – Robert Glück, 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
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
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