Showing 1–1 of 1 results for author: Ward, M P

Reverse Engineering from Assembler to Formal Specifications via Program Transformations

Authors: M. P. Ward

Abstract: The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper is a case study which uses automated plus manually-directed transformations and abstractions… ▽ More The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper is a case study which uses automated plus manually-directed transformations and abstractions to convert an IBM 370 Assembler code program into a very high-level abstract specification. △ Less

Submitted 4 May, 2001; originally announced May 2001.

Comments: 10 pages

ACM Class: D.2.7; D.3.2

Journal ref: 7th Working Conference on Reverse Engineering 2000, 23--25 Nov 2000, Brisbane, Queensland, Australia. IEEE Computer Society