A Recursion Removal Theorem - Proof and Applications (1999)

Cached

Download Links

by Martin Ward , South Rd
Citations:11 - 8 self

Active Bibliography

10 Inverse Engineering a simple Real Time program – E. J. Younger, M. P. Ward, South Rd - 1999
7 A Recursion Removal Theorem – Martin Ward - 1993
Abstract – E. J. Younger, Centre Software, M. P. Ward, South Rd - 2003
9 Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension – M. P. Ward, K. H. Bennett - 1999
21 Foundations for a Practical Theory of Program Refinement and Transformation – M. P. Ward - 1994
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
815 The Temporal Logic of Actions – Leslie Lamport - 1993
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001