Box 4
Container
Contains 131 Results:
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
Verifying Properties of Parallel Programs: An Axiomatic Approach, 1976-05
File — Box: 4 , Folder: 43
Review of "Compiler Design Theory", 1977
File — Box: 4 , Folder: 44
A Proof of Correctness of Rem's Semaphore Implementation of the With-When Statement, 1977-02
File — Box: 4 , Folder: 45
Error Recovery and Correction - A Review of the Literature, 1977
File — Box: 4 , Folder: 46
The Use of Correctness Proof Ideas in Programming, 1977
File — Box: 4 , Folder: 47
A Note on Iteration, 1977
File — Box: 4 , Folder: 48
Some Ideas on Data Tyes in High-Level Languages, 1977-06
File — Box: 4 , Folder: 49
An Exercise in Proving Parallel Programs Correct, 1977-12
File — Box: 4 , Folder: 50