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

Cached

Download Links

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

Documents Related by Co-Citation

402 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
571 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
169 The Concept of a Supercompiler – Valentin F. Turchin - 1986
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
63 Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree – Robert Glück, Andrei V. Klimov - 1993
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
20 Total Correctness by Local Improvement in Program Transformation – David Sands - 1995
19 Deforestation for Higher-Order Functions – Simon Marlow, Philip Wadler
21 When Will Deforestation Stop? – A. B. Ferguson, Philip Wadler - 1988
17 Higher Order Deforestation – G.W. Hamilton, St Bg - 1995
34 Automatic Methods for Program Transformation – W-N Chin - 1990
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
187 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
73 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
50 A System for Assisting Program Transformation – M S Feather - 1982
50 Self-Applicable Partial Evaluation – A Bondorf - 1990
17 Experiments with a supercompiler – Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin - 1982