Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
The parallel execution of DO loops
Communications of the ACM
The synthesis of loop predicates
Communications of the ACM
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Hyperplane Method for an Array Computer
Proceedings of the Sagamore Computer Conference on Parallel Processing
On a laboratory for the study of automating programming
Proceedings of ACM conference on Proving assertions about programs
Program optimization - theory and practice
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
Hints on programming language design.
Hints on programming language design.
Global program optimizations.
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)
Automating the re-declaration of unneeded globals as private
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Proving the correctness of heuristically optimized code
Communications of the ACM
Communications of the ACM
A case study of a new code generation technique for compilers
Communications of the ACM
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
A normal form for compiler testing
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Compiler design for efficient code generation and program optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Machine-independent PASCAL code optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Analyzing exotic instructions for a retargetable code generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Analysis and Performance Results of a Molecular Modeling Application on Merrimac
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Executing irregular scientific applications on stream architectures
Proceedings of the 21st annual international conference on Supercomputing
Type-Directed Compilation for Multicore Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.05 |
We treat a program as an object of manipulation, determine items of program constancy, and simplify the program based on the constancy. Some motivation for program manipulation is presented, along with two examples of “higher level optimization” written in an Algol-like language. A collection of program transformations and a model of the compilation process in terms of source-to-source transformations are presented. Finally a description of the application of these ideas to an existing programming language is given.