Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
An improved program-synthesizing algorithm and its correctness
Communications of the ACM
Automatic data structure choice in a language of very high level
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Program improvement by source to source transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Automatic coding: choice of data structures.
Automatic coding: choice of data structures.
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
Structured programming
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Program Transformation Systems
ACM Computing Surveys (CSUR)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
Syntactic source to source transforms and program manipulation
Communications of the ACM
An interactive FORTRAN structuring aid
ICSE '79 Proceedings of the 4th international conference on Software engineering
The optimization of user programs for an Algebraic Manipulation System
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Program manipulation via an efficient production system
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Toward efficiency trough generality
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.03 |
By manipulating programs to reorganize the way they compute their results, it is possible to improve program performance in certain desirable directions. Further, using certain laws of exchange, it is possible to transform concise, abstract, high-level programs into efficient, concrete , underlying representations. This paper explores the notion of using source-to-source transformations interactively as a basis for an approach to program improvement and refinement. Examples of program manipulation are presented that convey both the flavor of the approach and its requirements.