Box 4
Container
Contains 131 Results:
An Axiomatic Proof Technique for Parallel Programs I, 1976
File — Box: 4 , Folder: 38
The Schorr-Wate Graph Making Algorithm, 1979
File — Box: 4 , Folder: 61
Review of "Compiler Design Theory", 1977
File — Box: 4 , Folder: 44
Application for a Study Leave, 1979-11
File — Box: 4 , Folder: 63
Report on a Possible Axiomatization of Edison, 1979-04
File — Box: 4 , Folder: 64
Yet Another Exercise: Using Two Shared Variables in Two Processes to Provide Starvation-Free Mutual Exclusion, 1979
File — Box: 4 , Folder: 65
Is Sometime Ever Better Than Always?, 1978-10 - 1979-10
File — Box: 4 , Folder: 66
Dates:
1978-10 - 1979-10
Controlled Density Sorting, 1980-07
File — Box: 4 , Folder: 67
Assignment and procedure Call Proof Rules, 1980-10
File — Box: 4 , Folder: 68
The Use of Correctness Proof Ideas in Programming, 1977
File — Box: 4 , Folder: 47