Continuation-Based Program Transformation Strategies
- 1 January 1980
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 27 (1), 164-180
- https://doi.org/10.1145/322169.322183
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Subgoal inductionCommunications 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
- Towards a programming apprenticeIEEE Transactions on Software Engineering, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- On the Relation between Direct and Continuation SemanticsPublished by Springer Nature ,1974
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problemACM SIGSAM Bulletin, 1970
- Semantics of context-free languagesTheory of Computing Systems, 1968