TABLE OF CONTENTS
Descriptive Summary
Biographical Note
Scope and Contents
Restrictions
Index Terms
Related Material
Administrative Information
Description of Series
Correspondence Index
Diaries
"Brievenboek" notebook [index to correspondence?]
Purple Notebook
Notebook, "Detailed Resume"
Unidentified overhead transparencies
Correspondence
Writings
Honors and Invitations
Books
Honors
E. W. Dijkstra's Mother's correspondence [in Dutch]
Letter of condolence to EWD, 1994
Letter from unidentified student to EWD, undated
Interviews & Articles w/EWD, 1981, 1983, 1989, 1990
60th Birthday tribute
Record of Correspondence w/ T.M. Halbertsum, 1953-1997
Printed Matter & apothecary letter
Mathematical Works
EWD Reprints
Publications with articles about EWD
Publications with articles about EWD
Publications with articles about EWD
Writings by others
Photographs, undated
Oversized Photographs, undated
Diploma, Gymnasium, 1948
|
Edsger W. Dijkstra Papers, 1948-2002
|
|
|
|
|
Creator: |
Dijkstra, Edsger W. |
|
Title: |
Edsger W. Dijkstra papers |
|
Dates: | 1948-2002 |
|
|
Abstract: |
Edsger Wybe Dijkstra (1930-2002) was a teacher and researcher of computer science. This collection consists of materials documenting his extensive career, as well as his personal life. Included are diaries, correspondence, writings and other materials. The bulk of the collection is in Dutch, although many later writings are in English. |
|
Identification: |
urn:taro:utexas.cah.00378 |
|
Extent: |
40 linear feet |
|
Language: |
Dutch; Flemish
, English
. |
|
Repository: |
Dolph Briscoe Center for American History,
The University of Texas at Austin |
Edsger Wybe Dijkstra (1930-2002) was a teacher and researcher of computer science. Born in Rotterdam, The Netherlands, in 1930, he earned degrees in mathematics and theoretical physics from the University of Leyden and a Ph.D. in computing science from the University of Amsterdam. Dijkstra worked as a programmer (1952-1962) and professor (1962-1984) in The Netherlands, and was also a Burroughs Corporation research fellow (1973-1984). He held the Schlumberger Centennial Chair in Computing Sciences at The University of Texas at Austin from 1984 until his retirement in 1999. He was awarded the 1972 ACM Turing Award, a prestigious award in the field of computing. Dijkstra is known for connecting mathematical logic to computer programming, as well as for general contributions to mathematical methodology.
Return to the Table of Contents
This collection consists of materials documenting E. W. Dijkstra's extensive career in the field of computer science, as well as his personal life. Included are diaries, correspondence, writings, and other materials. The bulk of the collection is in Dutch, although many later writings are in English.
Forms part of the Archives of American Mathematics.
Return to the Table of Contents
Conditions Governing Access
The bulk of this collection is stored remotely. Advance notice required for retrieval. Contact repository for retrieval.
Conditions Governing Use
There are no use restrictions on this collection. Publisher is responsible for complying with copyright law.
Return to the Table of Contents
|
|
|
|
|
|
|
Personal Names |
|
|
Dijkstra, Edsger W. |
|
Corporate Names |
|
|
University of Texas at Austin. Department of Computer Sciences |
|
Subjects |
|
|
Computer programming |
|
|
Computer science |
Return to the Table of Contents
|
|
|
|
See the E. W. Dijkstra Archive website prepared by the University of Texas at Austin Computer Science Department for online access to Dijkstra's "EWD" documents as well as other materials relating to E. W. Dijkstra: http://www.cs.utexas.edu/users/EWD/welcome.html |
Return to the Table of Contents
Edsger W. Dijkstra Papers, Archives of American Mathematics, Dolph Briscoe Center for American History, The University of Texas at Austin.
2004-217; 2005-053; 2005-054; 2007-161; 2016-147
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Correspondence Index |
| box |
| 4AA1 |
|
|
September 8, 1975 - May 8, 1980 |
|
|
|
May 8, 1980 - November 20, 1991 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Diaries |
| box |
| 4AA1 |
|
|
July 23, 1973 - March 9, 1975 |
|
|
|
March 9, 1975 - August 2, 1975 |
|
|
|
November 17, 1975 - January 21, 1977 |
|
|
|
February 16, 1977 - July 23, 1978 |
|
|
|
August 23, 1978 - July 20, 1980 |
|
|
|
October 1, 1979 - June 17, 1980 |
|
|
|
June 27, 1980 - March 18, 1981 |
|
|
|
March 18, 1981 - February 1, 1982 |
|
|
|
February 2, 1982 - April5, 1983 |
|
|
|
May 6, 1983 - December 3, 1984 |
|
|
|
December 12, 1984 - October 24, 1986 |
|
|
|
October 26, 1986 - April 11, 1990 |
| box |
| 4AA2 |
|
|
June 25, 1990 - December 19, 1993 |
|
|
|
December 19, 1993 - July 17, 1996 |
|
|
|
July 17, 1996 - December 29, 1998 |
|
|
|
December 30, 1998 - October 27, 2001 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
"Brievenboek" notebook [index to correspondence?] |
| box |
| 4AA2 |
|
|
February 6, 1957 - 1971 |
|
|
|
May 1, 1965 - December 15, 1971 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Purple Notebook |
| box |
| 4AA2 |
|
|
Resume |
|
|
|
Indexes, several, to EWD writings [including 28-1114, 37-1311 (Jan, 1953-2001), 537-710 (1975-1979)] |
|
|
|
EWD 1166-Autobiography, resume, 1993 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA2 |
|
Notebook, "Detailed Resume" |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA2 |
|
Unidentified overhead transparencies |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Correspondence |
| box |
| 4AA3 |
|
|
General |
|
|
|
|
Ackermans, S. T. M. - ACTA Infomatica - Boyer, Roberts |
| box |
| 4AA4 |
|
|
|
BP Financial of BP Venture Research - Dahm, David |
| box |
| 4AA5 |
|
|
|
Dale, Andrew - Faculty |
| box |
| 4AA6 |
|
|
|
Feeser, Walt - Feijen, W. H. J.; Dec., 2000 |
| box |
| 4AA7 |
|
|
|
Feijen, W. H. J., Oct. , 2001 - Hesselink, W. H. |
| box |
| 4AA8 |
|
|
|
Hewitt - IFIP W.G. 2.3 2001 |
| box |
| 4AA9 |
|
|
|
IHT, Infotech - Levien, Raphael |
| box |
| 4AA10 |
|
|
|
Levin - Misra, Jayadev |
| box |
| 4AA11 |
|
|
|
Missouri, Mitchell - Rabbit, Regulinski |
| box |
| 4AA12 |
|
|
|
Reich - Senyszyn - Seminars, Lectures, Travel 1962-1975 |
| box |
| 4AA13 |
|
|
|
Seres, Silvija - UT Application & Move - Toronto - Wintle |
| box |
| 4AA14 |
|
|
|
Wirth - Zoetl |
| box |
| 4AA15 |
|
|
Personal |
|
|
|
|
Clint, Maurice- Gries, David, 1985 |
| box |
| 4AA16 |
|
|
|
Gries, David, 1986 - Richards, Ham |
| box |
| 4AA17 |
|
|
|
Scholten, C. S. - Swierstra- Dijkstra, A. E. [letters to and from] |
| box |
| 4AA14 |
|
|
|
Turski, W. M., 1967-2001 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings |
| box |
| 4AA18 |
|
|
Partial Table of Contents |
|
|
|
Algol Translator for Algol 60 |
|
|
|
AVG54C - 62-0 |
|
|
|
Cursus Programmern in Algol |
|
|
|
CR-7, 8, 9 |
|
|
|
DR-18, 23r |
|
|
|
IP - Inleiding Programmern |
|
|
|
Lecture Notes-U of Minn, 1973; Various, undated |
|
|
|
MR-3, 12, 14, 16, 17, 20-27, 32-35, 46, 47, 55 |
|
|
|
NTF-4, 1956 |
|
|
|
Ontwerpschets Ontwikkelingsplan, October 24, 1962 |
|
|
|
Programmering voor de ARMAC |
|
|
|
Writings, various, 1955, 1961, 1962, 1966, 1967, 1979 |
|
|
|
ZW 1957-002, 1960-001 |
|
|
|
Notebook: EWD50, 7, 9, 10, 13-18, 20, 21, other, 23 |
|
|
|
EWD 19-316 (EWD 37 @ 1963) |
|
|
|
EWD 227, mailing list, 1968 |
| box |
| 4AA19 |
|
|
EWD 317-905 (EWD 537, @ 1975) |
| box |
| 4AA20 |
|
|
EWD 906-1317 (EWD 1317, 2002) |
|
|
|
A Discipline of Programming [includes EWDs not found in the general sequence: 383-384, 400, 403, 409-413, 424, 428, 430-431, 433-434, 436-438, 440-441, 444-445, 453, 458-461, 467-468], undated |
| box |
| 3W111 [SRH1230030404] |
|
|
EWD 804, AvG20/EWD 817, EWD 977, 994, 1089, 1144, 1233, 1986, undated |
| box |
| 4AA21 |
|
|
Books with EWD articles and others based upon his writings |
| box |
| 4AA22 |
|
|
Student questionnaires and course evaluations |
|
|
|
Catalogs of workshops, seminars, exhibitions, publications |
| box |
| 4AA23 |
|
|
NATO summer school proceedings, lecture notes, 1975, 1981, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 1998 |
|
|
|
Proceedings of the 1999 Oxford-Microsoft Symposium |
| box |
| 4AA24 |
|
|
Writings and publications |
|
|
|
|
1960, 1962, 1963 |
|
|
|
|
Harry Goode Memorial Award, acceptance letter and curriculum vitae |
|
|
|
|
Mailing lists, summer school programs |
|
|
|
|
Papers presented, book from private collection |
|
|
|
|
Publications, reprints, 1957-2001, undated |
|
|
|
|
Untitled, [introduction to volume on mathematical methodology, 10 pp.], undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA25 |
|
Honors and Invitations |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Books |
| box |
| 4AA25 |
|
|
By EWD, 1959, 1962, 1979, 1991 |
|
|
|
By relatives, 1950, 1965, 1987 |
|
|
|
From personal collection, 1967, 1984, 1985, 1987, 1988, 1998 |
| box |
| 4AA26 |
|
|
Authored by Dijkstra or containing his writings or based upon his work |
| box |
| 4AA27 |
|
|
Authored by Dijkstra and translated |
|
|
|
International journals |
| box |
| 4AA28 |
|
|
Predicate Calculus & Program Semantics, draft and galley proofs |
|
|
|
Critical comments on "A Discipline of Programming" |
| box |
| 4AA29 |
|
|
Predicate Calculus and Program Semantics, handwritten manuscript |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Honors |
| box |
| 4AA29 |
|
|
Originals for INS interview, [includes correspondence, reprints, certificates and official documents, diploma, marriage license], 1948-1984, undated |
|
|
|
Printed material and correspondence, 1974, 1994-1998 |
|
|
|
ACM-SIGCSE Award for Outstanding Contributions to Computer Science Education, [plaque], 1989 |
|
|
|
ACM Fellow, certificate, undated |
| box |
| 4RM55a [SRH1230020473] |
|
|
ACM Turing Award, 1972 |
|
|
|
BIT appreciation artwork, 1987 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
E. W. Dijkstra's Mother's correspondence [in Dutch] |
| box |
| 4AA29 |
|
|
EWD to Mother, 1951-1981, 1983-1985 |
|
|
|
Helena to Mother, 1965, 1974, 1975 |
|
|
|
Helena to Albert, Annette, Aunt, 1965, 1975 |
|
|
|
Unidentified to Mother, 1975, 1976 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Letter of condolence to EWD, 1994 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Letter from unidentified student to EWD, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Interviews & Articles w/EWD, 1981, 1983, 1989, 1990 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
60th Birthday tribute |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Record of Correspondence w/ T.M. Halbertsum, 1953-1997 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Printed Matter & apothecary letter |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Mathematical Works |
Return to the Table of Contents
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA14 |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA29 |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4AA30 |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings by others |
| box |
| 4AA30 |
|
|
R. C. Backhouse |
|
|
|
C. Bron |
|
|
|
N. G. De Brugn |
|
|
|
ARC (Gemenge) |
|
|
|
Chandy, K. Maini / Jayadev Misra |
|
|
|
W. H. J. Feijen |
| box |
| 4AA31 |
|
|
W. H. J. Feijen, 1983-1996 |
|
|
|
A. J. M. van Gasteren, 1981-1995 |
|
|
|
M. G. Gouda, 1984-1991 |
|
|
|
D. Gries, 1975-1998 |
| box |
| 4AA32 |
|
|
E. C. R. Hehner |
|
|
|
W. H. Hesselink |
|
|
|
A. W. Holt |
|
|
|
R. R. Hoogerwoord |
|
|
|
A. Kaldewaij |
|
|
|
C. Lengauer |
|
|
|
A. J. Martin, CS-137-138-139 81/82 |
|
|
|
Jayadev Misra |
| box |
| 4AA33 |
|
|
Rem, M. |
|
|
|
Richards, H. |
|
|
|
W. P. De Roever |
|
|
|
Rutger, M. |
| box |
| 4RM192 [SRH1230024907] |
|
|
Scholten, C. S. |
|
|
|
|
CSS 100-190 [excluding 122, essays similar to EWDs], undated |
|
|
|
|
"Parallelism in multi-record transactions continued – about ordering partially-ordered labeled graphs,", 1972 |
|
|
|
|
"Axiomatic treatment of the synchronization of processors,", 1973 |
|
|
|
|
"A single-loop self-stabilizing event-graph,", 1973 |
|
|
|
|
"Note on the self-stabilization of general event graphs,", 1974 |
|
|
|
|
"About the uniform convergence of a set of assignments,", 1975 |
|
|
|
|
"Local and global considerations in the analysis of crawling messages,", 1975 |
|
|
|
|
"A strategy to make Petri-nets deadlockfree,", 1975 |
|
|
|
|
"An analogon of Eichelberger's theorem,", 1976 |
|
|
|
|
An axiomatic approach to circuit theory,", 1976 |
|
|
|
|
"My understanding of finite Boolean algebras and finite fields,", 1976, undated |
|
|
|
|
"An axiomatic definition of P- and V- operations,", 1977 |
|
|
|
|
"A simplified form of a problem presented by A. Martin,", 1977 |
| box |
| 4RM193 [SRH1230024908] |
|
|
|
"Some notes in the inversion of programs", 1978 |
|
|
|
|
"The equivalence of telex and mail systems,", 1979 |
|
|
|
|
"Splitting up alternatives of a repetitive construct,", 1979 |
|
|
|
|
"Multiple error correction, avoiding the use of the error-locator polynomial,", 1980 |
|
|
|
|
"On certain types of broadcasting systems,", 1980, undated |
|
|
|
|
"A generalization of Menger's theorem,", undated |
|
|
|
|
Assorted papers, 1965-1983, undated |
| box |
| 4AA33 |
|
|
Seitz, C. |
|
|
|
Van de Snepscheut, J. L. A. |
|
|
|
Turner |
|
|
|
Wirth, N. |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4RM203c [SRH1230024920] |
|
Photographs, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 3So18a [SRH1230022157] |
|
Oversized Photographs, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| folder |
| OD1199 |
|
Diploma, Gymnasium, 1948 |
Return to the Table of Contents
|
