Some transformations for developing recursive programs

Publisher Website

1 April 1975

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 10 (6), 465-472
https://doi.org/10.1145/390016.808470

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

Structured Programming with go to Statements
ACM Computing Surveys, 1974
Semantics and axiomatics of a simple recursive language.
Published by Association for Computing Machinery (ACM) ,1974
On a laboratory for the study of automating programming
Published by Association for Computing Machinery (ACM) ,1972
Proof of correctness of data representations
Acta Informatica, 1972
Algorithm 245: Treesort
Communications of the ACM, 1964

Cited by 9 articles