Loading [MathJax]/extensions/MathZoom.js
Goal-Directed Program Transformation | IEEE Journals & Magazine | IEEE Xplore

Goal-Directed Program Transformation


Abstract:

Program development often proceeds by transforming simple, clear programs into complex, involuted, but more efficient ones. This paper examines ways this process can be r...Show More

Abstract:

Program development often proceeds by transforming simple, clear programs into complex, involuted, but more efficient ones. This paper examines ways this process can be rendered more systematic. We show how analysis of program performance, partial evaluation of functions, and abstraction of recursive function definitions from recurring subgoals can be combined to yield many global transformations in a methodical fashion. Examples are drawn from compiler optimization, list processing, very high-evel languages, and APL execution.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-2, Issue: 2, June 1976)
Page(s): 69 - 80
Date of Publication: 18 September 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.