Box 4
Container
Contains 131 Results:
A Note on a Standard Strategy for Developing Loop Invariants and Loops, 1982
File — Box: 4 , Folder: 81
The Science of Programming Answer Book, 1982-06
File — Box: 4 , Folder: 82
Computer Science at Cornell: The Current Situation in Computer Science, 1982-02-08 - 1982-11-28
File — Box: 4 , Folder: 83
Dates:
1982-02-08 - 1982-11-28
A Reply to Susan Gerhart's Review of Craft and Science, 1982-05
File — Box: 4 , Folder: 84
The Emerging Scientific Practice of Programming, 1982-08
File — Box: 4 , Folder: 85
Inverting a Permutation, 1983
File — Box: 4 , Folder: 86
A first draft of a notation for expressions over the types bag, set, relation, function, list, integer, boolean, 1984-02
File — Box: 4 , Folder: 87
General Correctness: A Unification of Partial and Total Correctness, 1985
File — Box: 4 , Folder: 88
A New Notation of Encapsulation, 1985
File — Box: 4 , Folder: 90