Fission for Program Comprehension
Jeremy Gibbons abstract
Fusion is a program transformation that combines adjacent computations, flattening structure and improving efficiency at the cost of clarity. Fission is the same transformation, in reverse: creating structure, ex nihilo. We explore the use of fission for program comprehension, that is, for reconstructing the design of a program from its implementation. We illustrate through rational reconstructions of the designs for three different C programs that count the words in a text file.
infobook title | Mathematics of Program Construction |
editor | Tarmo Uustalu |
pages | 162-179 |
publisher | Springer-Verlag |
series | Lecture Notes in Computer Science |
volume | 4014 |
year | 2006 |
links
BibTeX
Link (pdf)
related pages
|
