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

Documents Related by Co-Citation

58 Proving Program Refinements and Transformations – M Ward - 1989
1398 A Discipline of Programming – E W Dijkstra - 1976
1267 Program slicing – M Weiser - 1984
38 Assembler to C Migration using the FermaT Transformation System – Martin Ward, M. P. Ward - 1999
36 Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm – Martin Ward - 1996
97 The semantic approach to program slicing – G A Venkatesh - 1991
11 Slicing as a Program Transformation – Martin Ward, Hussein Zedan - 2007
115 Amorphous Program Slicing – Mark Harman, David Binkley, Sebastian Danicic - 1997
98 Conditioned program slicing – G Canfora, A Cimitile, A D Lucia - 1998
243 Dynamic program slicing – Bogdan Korel - 1988
474 Programming from Specifications – C Morgan - 1994
4 Legacy Assembler Reengineering and Migration – M. P. Ward, H. Zedan, T. Hardcastle
124 Program slicing – Keith Gallagher, David Binkley
8 Thomas Reps David Binkley. Interprocedural slicing using dependence graphs – Susan Horwitz - 1990
22 A Multipurpose Backtracking Algorithm – Hilary Priestley, Martin Ward, H. A. Priestley, St. Giles, M. P. Ward, South Rd - 1994
11 Assembler to C Migration using the FermaT – M Ward - 1999
33 Reverse Engineering through Formal Transformation - Knuths "Polynomial Addition" Algorithm – Martin P. Ward - 1994
6 Conditioned Semantic Slicing via Abstraction and Refinement in FermaT – M. P. Ward, H. Zedan, T. Hardcastle - 2005
147 A calculus of refinements for program derivations – R Back - 1988