The FermaT Assembler Re-engineering Workbench
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Categories of digital investigation analysis techniques based on the computer history model
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Hi-index | 0.00 |
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.