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
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
4 Understanding Concurrent Programs using Program Transformations – Eddy Younger, Martin Ward, E. J. Younger, M. P. Ward - 1993
19 Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations – M. P. Ward - 2004
36 Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm – Martin Ward - 1996
2 Iterative Procedures for Computing Ackerman's Function – Martin P. Ward - 1993
11 Language Oriented Programming – M. P. Ward - 1995
43 Abstracting a Specification from Code – Martin Ward - 1993
The Use of Transformations in \The Maintainer's Assistant" – M. Ward, F. W. Calliss, M. Munro
5 METAWSL and Meta-Transformations in the FermaT Transformation System – Martin Ward, Hussein Zedan - 2005
13 A Practical Program Transformation System For Reverse Engineering – M. P. Ward, Durham Dh Le, K. H. Bennett, South Rd, South Rd - 1993
17 Formal Methods to Aid the Evolution of Software – M. P. Ward, K. H. Bennett - 1995
7 Specifications from Source Code - Alchemists' Dream or Practical Reality? – M. P. Ward, South Rd - 1994
3 A Knowledge-Based System for Software Maintenance – F. W. Calliss, M. Khalil, M. Munro, M. Ward - 1988
19 Derivation of a Sorting Algorithm – Martin Ward, South Rd, Then P S - 1999
4 Using Formal Transformations to Construct a Component Repository – Martin Ward - 1993
12 A Tool for Data Refinement – Rimvydas Ruksenas, et al. - 1997