Box 4
Container
Contains 131 Results:
A Note on a Standard Strategy for Developing Loop Invariants and Loops, 1982
File — Box: 4 , Folder: 81
Preface for Hoare's Essays on Computer Science, 1987-09
File — Box: 4 , Folder: 106
Presentation of Computing Research Board Award to Kent Curtis at the Dinner in his honor, 1987-09
File — Box: 4 , Folder: 107
Plan for a new Programming Language and Environment, 1987-07-01
File — Box: 4 , Folder: 108
Dates:
1987-07-01
Presenting an Algorithm to Find the Minimum Edit Distance, 1987-08
File — Box: 4 , Folder: 109
Influences (or Lack Thereof) of Formalism in Teaching Programming and Software Engineering, 1987-10-28
File — Box: 4 , Folder: 110
Dates:
1987-10-28
Horner's Rule and the Computation of Linear Recurrence, 1987-06-17
File — Box: 4 , Folder: 111
Dates:
1987-06-17
Completeness and Incompleteness of Trace-Based Network Proof Systems, 1987-01
File — Box: 4 , Folder: 112
The 1985-1986 Taulbee Survey, 1987-08
File — Box: 4 , Folder: 113
What a Programmer should know about Logic, 1987-09
File — Box: 4 , Folder: 114