Some Techniques for Recursion Removal from Recursive Functions
- 1 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (2) , 295-322
- https://doi.org/10.1145/357162.357171
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- A class of functions synthesized from a finite number of examples and a lisp program schemeInternational Journal of Parallel Programming, 1979
- Systematic recursion removalCommunications of the ACM, 1978
- The Inference of Regular LISP Programs from ExamplesIEEE Transactions on Systems, Man, and Cybernetics, 1978
- Lucid, a nonprocedural language with iterationCommunications of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A system which automatically improves programsActa Informatica, 1976
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960