Recursion As an Effective Step in Program Development
- 1 January 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 6 (1) , 55-67
- https://doi.org/10.1145/357233.357236
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- Derivation of Invariant Assertions During Program Development by TransformationACM Transactions on Programming Languages and Systems, 1980
- Syntactic source to source transforms and program manipulationCommunications of the ACM, 1979
- Some Properties of Predicate TransformersJournal of the ACM, 1978
- A New Incompleteness Result for Hoare's SystemJournal of the ACM, 1978
- Optimization Among Provably Equivalent ProgramsJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971