Pigs from sausages? Reengineering from assembler to C via fermaT transformations
| 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.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.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.doi | https://doi.org/10.1016/j.scico.2004.03.007 | |
| dc.identifier.issn | 0167-6423 | en |
| dc.identifier.uri | http://hdl.handle.net/2086/269 | |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.researchgroup | Software Technology Research Laboratory (STRL) | |
| 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 |