Recursive data structures

Publisher Website

1 June 1975

journal article
Published by Springer Nature in International Journal of Parallel Programming

Vol. 4 (2) , 105-132
https://doi.org/10.1007/bf00976239

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Reasoning about programs
Published by Association for Computing Machinery (ACM) ,1973
Proof of correctness of data representations
Acta Informatica, 1972
The programming language pascal
Acta Informatica, 1971
The lattice of flow diagrams
Published by Springer Nature ,1971
Report on the Algorithmic Language ALGOL 68
Numerische Mathematik, 1969
Proving Properties of Programs by Structural Induction
The Computer Journal, 1969
A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM, 1961
Report on the algorithmic language ALGOL 60
Numerische Mathematik, 1960
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM, 1960