Reverse Engineering from Assembler to Formal Specifications via Program Transformations
<|reference_start|>Reverse Engineering from Assembler to Formal Specifications via Program Transformations: 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.<|reference_end|>
@article{ward2001reverse,
    title={Reverse Engineering from Assembler to Formal Specifications via Program
  Transformations},
    author={M. P. Ward},
    journal={7th Working Conference on Reverse Engineering 2000, 23--25 Nov
  2000, Brisbane, Queensland, Australia. IEEE Computer Society},
    year={2001},
    doi={10.1109/WCRE.2000.891448},
    archivePrefix={arXiv},
    eprint={cs/0105006},
    primaryClass={cs.SE cs.PL}
}