Box 4
Container
Contains 131 Results:
Programming by Induction, 1972
File — Box: 4 , Folder: 21
Describing an Algorithm by Hopcroft, 1973
File — Box: 4 , Folder: 22
On Structured Programming - A Reply to Smoliar, 1974
File — Box: 4 , Folder: 23
What Should We Teach in an Introductory Programming Course?, 1974-02
File — Box: 4 , Folder: 24
Speech on Programming to ACM Central Region, 1974-11
File — Box: 4 , Folder: 25
A Note on Program Development, 1974
File — Box: 4 , Folder: 26
Some Ideas on Data Types in High Level Languages, 1975-05
File — Box: 4 , Folder: 27
Recursion as a Programming Tool, 1975-04
File — Box: 4 , Folder: 28
The correctness of the on-the-fly garbage collector, 1975-01
File — Box: 4 , Folder: 29
Proving Properties of Parallel Programs: An Axiomatic Approach, 1975-05
File — Box: 4 , Folder: 30