Assembler to C Migration Using the FermaT Transformation System

  • Authors:
  • Martin Ward

  • Affiliations:
  • -

  • Venue:
  • ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

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 sucessfully migrated to C code.