Skip to main content

Archives at Cornell

Box 4

 Container

Contains 131 Results:

Verifying Properties of Parallel Programs: An Axiomatic Approach, 1976-05

 File — Box: 4 , Folder: 43
Dates: 1976-05
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Cand and Cor before and then and or else in ADA, 1979-11

 File — Box: 4 , Folder: 62
Dates: 1979-11
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

A Proof of Correctness of Rem's Semaphore Implementation of the With-When Statement, 1977-02

 File — Box: 4 , Folder: 45
Dates: 1977-02
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Error Recovery and Correction - A Review of the Literature, 1977

 File — Box: 4 , Folder: 46
Dates: 1977
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Computing Fibonacci Numbers (And Similarly Defined Functions) in Log Time, 1980-10

 File — Box: 4 , Folder: 69
Dates: 1980-10
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Computer Literacy at Cornell, 1980-12-13

 File — Box: 4 , Folder: 70
Dates: 1980-12-13
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Educating the Programmer: Notation, Proofs and the Development of Programs, 1980

 File — Box: 4 , Folder: 71
Dates: 1980
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Computer Science at Cornell, 1980-09-30

 File — Box: 4 , Folder: 72
Dates: 1980-09-30
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

A Note on Iteration, 1977

 File — Box: 4 , Folder: 48
Dates: 1977
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Notes on Mathematical Induction and Well-Founded Sets, 1981-11-10

 File — Box: 4 , Folder: 74
Dates: 1981-11-10
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Staff Interface | Visit ArchivesSpace.org | v3.3.1 | Send Feedback or Report a Problem