The Computer Journal
The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
The C programming language
An introduction to functional programming
An introduction to functional programming
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Documenting frameworks using patterns
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The new hacker's dictionary (3rd ed.)
The new hacker's dictionary (3rd ed.)
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
How to Solve It by Computer
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Reverse Program Calculation Supported by Code Slicing
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
The essence of the iterator pattern
Journal of Functional Programming
Factorising folds for faster functions
Journal of Functional Programming
A bottom-up approach to understand functional programs
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Modularising inductive families
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Program fusion with paramorphisms
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Hi-index | 0.00 |
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.