Assembler to C migration using the FermaT transformation system
Date
2005-09-05
Authors
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
Type
Article
Peer reviewed
Abstract
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper describes one application of the system: the migration of IBM 370 Assembler code to equivalent, maintainable C code. We present an example of using the tool to migrate a small, but complex, assembler module to C with no manual intervention required. We briefly discuss a mass migration exercise where 1,925 assembler modules were successfully migrated to C code.
Description
Keywords
assembler, migration, comprehension, formal methods, WSL, wide spectrum language, program transformation, legacy systems, restructuring
Citation
Ward, M. (1999) Assembler to C migration using the FermaT transformation system. Proceedings of the IEEE International Conference on Software Maintenance 1999, pp. 67