Reverse Engineering from Assembler to Formal Specifications via Program Transformations
软件工程
2016-11-18 v1 编程语言
摘要
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.
关键词
引用
@article{arxiv.cs/0105006,
title = {Reverse Engineering from Assembler to Formal Specifications via Program Transformations},
author = {M. P. Ward},
journal= {arXiv preprint arXiv:cs/0105006},
year = {2016}
}
备注
10 pages