Operational and Semantic Equivalence Between Recursive Programs
- 1 October 1980
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 27 (4), 772-796
- https://doi.org/10.1145/322217.322229
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Continuous latticesLecture Notes in Mathematics, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960
- Lattice TheoryPublished by American Mathematical Society (AMS) ,1940