Conference item icon

Conference item

Fission for program comprehension

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. © Springer-Verlag Berlin Heidelberg 2006.
Publication status:
Published

Actions

  • Cite

  • Print

Access Document

Publisher copy:
10.1007/11783596_12

Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Host title:
MATHEMATICS OF PROGRAM CONSSTRUCTION
Volume:
4014
Pages:
162-179
Publication date:
2006-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
ISBN:
3540356312

Pubs id:
pubs:163480
UUID:
uuid:15c39c45-8133-46d9-8bfe-95fe0ad6c79e
Local pid:
pubs:163480
Source identifiers:
163480
Deposit date:
2012-12-19
ARK identifier:

Terms of use

Views and Downloads





If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP