Pigs from sausages?  Reengineering from assembler to C via fermaT transformations

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Ward, Martin en
dc.date.accessioned 2008-11-24T13:57:22Z
dc.date.available 2008-11-24T13:57:22Z
dc.date.issued 2004-01-01 en
dc.identifier.citation Ward, M. (2004) Pigs from sausages? Reengineering from assembler to C via FermaT transformations. Science of Computer Programming, 52(1-3), pp.213-255.
dc.identifier.issn 0167-6423 en
dc.identifier.uri http://hdl.handle.net/2086/269
dc.description Software reengineering has been described as being "about as easy as reconstructing a pig from a sausage". But the development of program transformation theory, as embodied in the FermaT Transformation System, has made this miraculous feat into a practical possibility. This paper describes the theory behind the FermaT system and describes a recent migration project in which over 544,000 lines of assembler were transformed into efficient and maintainable structured C code. The FermaT Transformation System is now being used by Software Migrations Ltd to carry out major international software migration projects. This was a result of an EPSRC-funded project (GR/R56099). en
dc.language.iso en en
dc.publisher Elsevier en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title Pigs from sausages?  Reengineering from assembler to C via fermaT transformations en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1016/j.scico.2004.03.007 en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record