Jeremy Gibbons Oxford University Computing Laboratory Wolfson Building, Parks ...  Home/Search
Context
Related
| web.comlab.ox.ac.uk/oucl/...fission.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Fusion is a program transformation that combines adjacent computations, flattening structure and improving e#ciency 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. (Update)
Active bibliography (related documents): More All
0.5: Towards Automated Modification of Legacy Assets - Sellink, Verhoef (1999) (Correct)
0.4: Streaming Representation-Changers - Gibbons (2004) (Correct)
0.4: Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ oxford-fission,
author = "Jeremy Gibbons Oxford",
title = "Fission for Program Comprehension",
url = "citeseer.ist.psu.edu/746322.html" }
Citations (may not include all citations):554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
333 An Introduction to Functional Programming (context) - Bird, Wadler - 1988
324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990
227 Kernighan and Dennis M (context) - Brian - 1988
140 Using program slicing in software maintenance - Gallagher, Lyle - 1991
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1985
67 Formal Aspects of Computing (context) - Meertens - 1992
52 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
41 Documenting frameworks using patterns (context) - Johnson - 1992
35 IEEE Transactions on Software Engineering (context) - Weiser - 1984
25 The New Hacker's Dictionary (context) - Raymond - 1991
25 The under-appreciated unfold - Gibbons, Jones - 1998
24 Virtual data structures - Swierstra, de Moor - 1993
12 Calculating functional programs - Gibbons - 2002
8 Origami programming (context) - Gibbons - 2003
7 Sorting morphisms - Augusteijn - 1998
3 Patterns in datatype-generic programming - Gibbons - 2003
2 It's a hard sell --- and hard work too (context) - Eastwood - 1992
1 Web site (context) - understanding, Calculi
1 Formal Aspects of Software Engineering: Special Issue in hon.. (context) - Oliveira, in et al. - 2001
1 Reverse program calculation supported by code slicing (context) - Villavicencio, Oliveira - 2001
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/): More
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Bridging the Algorithm Gap: A Linear-time Functional Program .. - de Moor, Gibbons (1999) (Correct)
Dotted and Dashed Lines in METAFONT - Gibbons (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC