Box 4
Container
Contains 131 Results:
Programming Language Design, 1976
File — Box: 4 , Folder: 31
Some Comments on Programming Language Design invited lecture, 1976
File — Box: 4 , Folder: 32
Gries's Reply to Metz's Reply to Gries's Reply, 1976-01
File — Box: 4 , Folder: 33
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs, 1976-12
File — Box: 4 , Folder: 34
Tutorial Software Document No. 1, A Student-written ALGOL Compiler, 1976
File — Box: 4 , Folder: 35
The Use of Comments in Programming, 1976
File — Box: 4 , Folder: 36
Compiler, 1976
File — Box: 4 , Folder: 37
An Axiomatic Proof Technique for Parallel Programs I, 1976
File — Box: 4 , Folder: 38
A tale of recursion versus iteration, 1976-01
File — Box: 4 , Folder: 39
A Note on Multiple Assignment to Subscripted Variables, 1976-10
File — Box: 4 , Folder: 40