Concepedia

Recursive data structures

C. A. R. Hoare

International Journal of Parallel Programming · 1975 · 169 citations · 13 references

DOI

References

13

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy · Communications of the ACM · 1960 · 1.4K citations · Full text

, , +7

Proof of correctness of data representations

C. A. R. Hoare · Acta Informatica · 1972 · 967 citations

, , +11

Structured programming

Olle Dahl, E. Dijkstra, C. A. R. Hoare · 1972 · 890 citations

, , +8

The programming language pascal

Niklaus Wirth · Acta Informatica · 1971 · 723 citations

, , +6

Proving Properties of Programs by Structural Induction

R. M. Burstall · The Computer Journal · 1969 · 327 citations

, , +16