Systematics of transformation rules
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 273-289
- https://doi.org/10.1007/bfb0014672
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A study on transformational semanticsPublished by Springer Nature ,1979
- Functional combinationComputer Languages, 1978
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A family of rules for recursion removalInformation Processing Letters, 1976
- A system which automatically improves programsActa Informatica, 1976
- Transformational GrammarsPublished by Springer Nature ,1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- The Equivalence of Certain ComputationsThe Computer Journal, 1966