Program transformations and algebraic semantics
- 1 July 1979
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 9 (1) , 39-65
- https://doi.org/10.1016/0304-3975(79)90005-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On some classes of interpretationsJournal of Computer and System Sciences, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Correct Computation Rules for Recursive LanguagesSIAM Journal on Computing, 1976
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- Another recursion induction principleCommunications of the ACM, 1971
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- On formalised computer programsJournal of Computer and System Sciences, 1970