Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations (2004)

by M. P. Ward
Venue:Science of Computer Programming, Special Issue on Program Transformation 52
Citations:19 - 5 self

Active Bibliography

7 A Recursion Removal Theorem – Martin Ward - 1993
17 Formal Methods to Aid the Evolution of Software – M. P. Ward, K. H. Bennett - 1995
11 Language Oriented Programming – M. P. Ward - 1995
21 Foundations for a Practical Theory of Program Refinement and Transformation – M. P. Ward - 1994
5 METAWSL and Meta-Transformations in the FermaT Transformation System – Martin Ward, Hussein Zedan - 2005
Bede Island Building, The Gateway, – Martin Ward, Hussein Zedan, Leicester Le Bh
13 Reverse Engineering from Assembler to Formal Specifications via Program Transformations – Martin Ward - 2000
11 Slicing as a Program Transformation – Martin Ward, Hussein Zedan - 2007
36 Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm – Martin Ward - 1996
Transformational Programming and the . . . – Martin Ward, Hussein Zedan
38 Assembler to C Migration using the FermaT Transformation System – Martin Ward, M. P. Ward - 1999
10 Formal Methods for Legacy Systems – M. P. Ward, K. H. Bennett - 1995
20 Program Slicing via FermaT Transformations – M. P. Ward - 2002
8 The Formal Transformation Approach to Source Code Analysis and Manipulation – M. P. Ward - 2001
20 Procedures and Invariants in the Refinement Calculus – Trevor Vickers, Carroll Morgan - 1994
VDM and the Refinement Calculus: a comparison of two systematic design methods – David Carrington, David Carrington - 1993
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
Reverse Engineering from Assembler to Formal Specifications via Program Transformations – unknown authors - 2001
9 Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension – M. P. Ward, K. H. Bennett - 1999