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

View PDF

Download Links

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

Documents Related by Co-Citation

424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
176 The Concept of a Supercompiler – Valentin F. Turchin - 1986
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
62 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
1353 Monads for functional programming – Philip Wadler - 1995
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
665 V.R.(1977): Fast pattern matching in strings – D E Knuth, J H Morris, Pratt
1371 Program Slicing – Mark Weiser - 1984