Box 4
Container
Contains 131 Results:
The correctness of the on-the-fly garbage collector, 1975-01
File — Box: 4 , Folder: 29
Programming Language Design, 1976
File — Box: 4 , Folder: 31
Some Comments on Programming Language Design invited lecture, 1976
File — Box: 4 , Folder: 32
Report of the HOL Analyses Coordination Panel, 1978-03
File — Box: 4 , Folder: 58
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs, 1976-12
File — Box: 4 , Folder: 34
On the Transformation Approach to Program Development, 1979-09-18
File — Box: 4 , Folder: 60
Dates:
1979-09-18
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
TR 76-286 Current Ideas on Programming Methodology, 1976 - 1978
File — Box: 4 , Folder: 41
Dates:
1976 - 1978
For the ACM Forum, On believing programs to be correct, 1976-10-08
File — Box: 4 , Folder: 42
Dates:
1976-10-08