Program Transformation Systems
- 1 September 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 15 (3) , 199-236
- https://doi.org/10.1145/356914.356917
Abstract
Interest is increasing in the transformational approach to programming and in mechanical aids for supporting the program development process. Available aids range from simple editorlike devices to rather powerful interactive transformation systems and even to automatic synthesis tools. This paper reviews and classifies transformation systems and is intended to acquaint the reader with the current state of the art and provide a basis for comparing the different approaches. It is also designed to provide easy access to specific details of the various methodologies.Keywords
This publication has 46 references indexed in Scilit:
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Mappings for rapid prototypingACM SIGSOFT Software Engineering Notes, 1982
- Operational specification as the basis for rapid prototypingACM SIGSOFT Software Engineering Notes, 1982
- Deductive synthesis of the unification algorithmScience of Computer Programming, 1981
- Programming in a wide spectrum language: a collection of examplesScience of Computer Programming, 1981
- An Automatic Technique for Selection of Data Representations in SETL ProgramsACM Transactions on Programming Languages and Systems, 1981
- Formal integration: A program transformation techniqueComputer Languages, 1981
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- Automatic data structure choice in a language of very high levelCommunications of the ACM, 1975