A System for Assisting Program Transformation
- 1 January 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (1) , 1-20
- https://doi.org/10.1145/357153.357154
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Program Specification Applied to a Text FormatterIEEE Transactions on Software Engineering, 1982
- Synthesis: Dreams → ProgramsIEEE Transactions on Software Engineering, 1979
- Functional combinationComputer Languages, 1978
- Improving memory utilization in transforming recursive programsPublished by Springer Nature ,1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A system which automatically improves programsActa Informatica, 1976