Assembler to C Migration Using the FermaT Transformation System

  title={Assembler to C Migration Using the FermaT Transformation System},
  author={Martin P. Ward},
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-streng th 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… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
46 Citations
15 References
Similar Papers


Publications citing this paper.

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 15 references

Morgan,Programming from Specifications

  • C C.
  • Second Edition
  • 1994
1 Excerpt

Partsch,Specification and Transformation of Programs

  • H A.
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…