Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations (2004)
Cached
Download Links
- [www.dur.ac.uk]
- [www.smltd.com]
- [www.dur.ac.uk]
- [www.cse.dmu.ac.uk]
- [www.dur.ac.uk]
- DBLP
Other Repositories/Bibliography
by
M. P. Ward
| Venue: | Science of Computer Programming, Special Issue on Program Transformation 52 |
| Citations: | 13 - 2 self |
BibTeX
@ARTICLE{Ward04pigsfrom,
author = {M. P. Ward},
title = {Pigs from Sausages? Reengineering from Assembler to C via FermaT Transformations},
journal = {Science of Computer Programming, Special Issue on Program Transformation 52},
year = {2004},
volume = {52},
pages = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Software reengineering has been described as being "about as easy as reconstructing a pig from a sausage" [11]. 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...
