Syntactic source to source transforms and program manipulation
- 1 January 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 22 (1) , 43-54
- https://doi.org/10.1145/359046.359057
Abstract
Syntactic transforms are the source to source program transformations which preserve the history of computation, and thus do not modify the execution time. Combined with a small number of primitive semantic transforms, they provide a powerful tool for program manipulation. A complete catalogue of syntactic transforms, and its use for solution of a system of program equations, is given. Examples of derivation of more complex source to source transformations are also presented. Two case studies illustrate the way in which syntactic and semantic source to source transformations may be used for development of clear, simple, and reasonably efficient programs.Keywords
This publication has 16 references indexed in Scilit:
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- An Algorithm for Structuring FlowgraphsJournal of the ACM, 1977
- A system which automatically improves programsActa Informatica, 1976
- Improving and refining programs by program manipulationPublished by Association for Computing Machinery (ACM) ,1976
- A genealogy of control structuresCommunications of the ACM, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- On the capabilities of while, repeat, and exit statementsCommunications of the ACM, 1973
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- Recursion and iterationCommunications of the ACM, 1965