|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Goal-Directed Program Transformation
June 1976 (vol. 2 no. 2)
pp. 69-80
| ASCII Text | x | ||
| B. Wegbreit, "Goal-Directed Program Transformation," IEEE Transactions on Software Engineering, vol. 2, no. 2, pp. 69-80, June, 1976. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1976.233533, author = {B. Wegbreit}, title = {Goal-Directed Program Transformation}, journal ={IEEE Transactions on Software Engineering}, volume = {2}, number = {2}, issn = {0098-5589}, year = {1976}, pages = {69-80}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233533}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Goal-Directed Program Transformation IS - 2 SN - 0098-5589 SP69 EP80 EPD - 69-80 A1 - B. Wegbreit, PY - 1976 KW - very high-level language KW - Analysis of prograns KW - APL KW - compiler optimization KW - evaluation in context KW - execution analysis KW - generalization KW - Lisp KW - list processing KW - optimizing transformations KW - partial evaluation KW - program analysis KW - program transfornation KW - simplification VL - 2 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
very high-level language, Analysis of prograns, APL, compiler optimization, evaluation in context, execution analysis, generalization, Lisp, list processing, optimizing transformations, partial evaluation, program analysis, program transfornation, simplification
Citation:
B. Wegbreit, "Goal-Directed Program Transformation," IEEE Transactions on Software Engineering, vol. 2, no. 2, pp. 69-80, June 1976, doi:10.1109/TSE.1976.233533
Usage of this product signifies your acceptance of the Terms of Use.