Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

Cached

Download Links

by David Sands
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 6 self

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
39 A Na├»ve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
19 Deforestation for Higher-Order Functions – Simon Marlow, Philip Wadler
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
121 Bisimilarity as a theory of functional programming – A D Gordon
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
25 Reducing Nondeterminism while Specializing Logic Programs – Alberto Pettorossi, Maurizio Proietti, Sophie Renault - 1997
20 Unfold/Fold Transformation of General Logic Programs for the Well-founded Semantics – H Seki - 1993
18 Unfold/fold transformation of logic programs with counters – T Kanamori, H Fujita - 1986
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
42 A transformation system for deductive database modules with perfect model semantics. Theoretical computer science – M Maher
23 A parameterized unfold/fold transformation framework for definite logic programs – Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan - 1999
39 Shepherdson, Unfold-fold transformations of logic programs – P Gardner, J C - 1989