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
|
A Guide to the Edsger W. Dijkstra Papers, 1948-2002
|
|
|
|
|
Creator: |
Dijkstra, Edsger
Wybe |
|
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. |
|
Accession No.: |
2004-217; 2005-053; 2005-054; 2007-161; 2016-147 |
|
Extent: |
40 ft. |
|
Language: |
Materials are written in Dutch and 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
Access Restrictions
The bulk of this collection is stored remotely. Advance notice required for
retrieval. Contact repository for retrieval.
Use Restrictions
This collection is stored remotely. Advance notice required for retrieval. Contact
repository for retrieval.
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
Dijkstra, Edsger Wybe |
|
|
University of Texas at Austin. Dept.
of Computer Sciences |
|
|
Computer programming |
|
|
Computer sceince |
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, 1948-2002, Archives of American Mathematics, Dolph Briscoe
Center for American History, The University of Texas at Austin
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Correspondence Index |
box |
4Aa1 (12609065) |
|
|
September 8, 1975 - May 8, 1980 |
|
|
|
May 8, 1980 - November 20, 1991 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Diaries |
box |
4Aa1 (12609065) |
|
|
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 (12613404) |
|
|
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 (12613404) |
|
|
February 6, 1957 - 1971 |
|
|
|
May 1, 1965 - December 15, 1971 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Purple Notebook |
box |
4Aa2 (12613404) |
|
|
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 (12613404) |
|
Notebook, "Detailed Resume" |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa2 (12613404) |
|
Unidentified overhead transparencies |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Correspondence |
box |
4Aa3 (12609178) |
|
|
General: |
|
|
|
|
Ackermans, S. T. M. - ACTA Infomatica - Boyer,
Roberts |
box |
4Aa4 (12609087) |
|
|
|
BP Financial of BP Venture Research - Dahm, David |
box |
4Aa5 (12613459) |
|
|
|
Dale, Andrew - Faculty |
box |
4Aa6 (12613415) |
|
|
|
Feeser, Walt - Feijen, W. H. J.; Dec., 2000 |
box |
4Aa7 (12613470) |
|
|
|
Feijen, W. H. J., Oct. , 2001 - Hesselink, W. H. |
box |
4Aa8 (12608721) |
|
|
|
Hewitt - IFIP W.G. 2.3 2001 |
box |
4Aa9 (12609101) |
|
|
|
IHT, Infotech - Levien, Raphael |
box |
4Aa10 (12609076) |
|
|
|
Levin - Misra, Jayadev |
box |
4Aa11 (12613390) |
|
|
|
Missouri, Mitchell - Rabbit, Regulinski |
box |
4Aa12 (12613437) |
|
|
|
Reich - Senyszyn - Seminars, Lectures, Travel
1962-1975 |
box |
4Aa13 (12609043) |
|
|
|
Seres, Silvija - UT Application & Move - Toronto -
Wintle |
box |
4Aa14 (12609112) |
|
|
|
Wirth - Zoetl |
box |
4Aa15 (12609032) |
|
|
Personal: |
|
|
|
|
Clint, Maurice- Gries, David, 1985 |
box |
4Aa16 (12608732) |
|
|
|
Gries, David, 1986 - Richards, Ham |
box |
4Aa17 (12609123) |
|
|
|
Scholten, C. S. - Swierstra- Dijkstra, A. E. [letters to and
from] |
box |
4Aa14 (12609112) |
|
|
|
Turski, W. M., 1967-2001 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Writings |
box |
4Aa18 (12609145) |
|
|
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, 1950s? (legal size), 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 (12609156) |
|
|
EWD 317-905 (EWD 537, @ 1975) |
box |
4Aa20 (12609189) |
|
|
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 |
|
|
EWD 804, AvG20/EWD 817, EWD 977, 994, 1089, 1144, 1233, 1986,
undated |
box |
4Aa21 (12609190) |
|
|
Books with EWD articles and others based upon his
writings |
box |
4Aa22 (12609167) |
|
|
Student questionnaires and course evaluations |
|
|
|
Catalogs of workshops, seminars, exhibitions,
publications |
box |
4Aa23 (12609214) |
|
|
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 (12609134) |
|
|
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 and
undated |
|
|
|
|
Untitled, [introduction to volume on mathematical
methodology, 10 pp.], undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa25 (12609010) |
|
Honors and Invitations |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Books |
box |
4Aa25 (12609010) |
|
|
By EWD, 1959, 1962, 1979,1992 |
|
|
|
By relatives, 1950, 1965, 1987 |
|
|
|
From personal collection, 1967, 1984, 1985, 1987, 1988, 1998 |
box |
4Aa26 (12613426) |
|
|
Authored by Dijkstra or containing his writings or based upon his
work |
box |
4Aa27 (12613460) |
|
|
Authored by Dijkstra and translated |
|
|
|
International journals |
box |
4Aa28 (12613379) |
|
|
Predicate Calculus & Program
Semantics, draft and galley proofs |
|
|
|
Critical comments on "A Discipline of Programming" |
box |
4Aa29 (12613368) |
|
|
Predicate Calculus and Program Semantics,
handwritten manuscript |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Honors |
box |
4Aa29 (12613368) |
|
|
Originals for INS interview, [includes correspondence, reprints,
certificates and official documents, diploma, marriage
license], 1948-1984 and 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 |
|
|
ACM Turing Award, 1972 |
box |
4RM55a |
|
|
BIT appreciation artwork, 1987 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E. W. Dijkstra's Mother's correspondence [in Dutch] |
box |
4Aa29 (12613368) |
|
|
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 (12613368) |
|
Letter of condolence to EWD, 1994 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Letter from unidentified student to EWD,
undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Interviews & Articles w/EWD, 1981, 1983, 1989,
1990 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
60th Birthday tribute |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Record of Correspondence w/ T.M. Halbertsum,
1953-1997 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Printed Matter & apothecary letter |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Mathematical Works |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
EWD Reprints |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa14 (12609112) |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa29 (12613368) |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4Aa30 (12613380) |
|
Publications with articles about EWD |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Writings by others |
box |
4Aa30 (12613380) |
|
|
R. C. Backhouse |
|
|
|
C. Bron |
|
|
|
N. G. De Brugn |
|
|
|
ARC (Gemenge) |
|
|
|
Chandy, K. Maini / Jayadev Misra |
|
|
|
W. H. J. Feijen |
box |
4Aa31 (12613448) |
|
|
W. H. J. Feijen 1983-1996 |
|
|
|
A. J. M. van Gasteren, 1981-1995 |
|
|
|
M. G. Gouda, 1984-1991 |
|
|
|
D. Gries, 1975-1998 |
box |
4Aa32 (12609021) |
|
|
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 (12609203) |
|
|
Rem, M. |
|
|
|
Richards, H. |
|
|
|
W. P. De Roever |
|
|
|
Rutger, M. |
box |
4RM192 |
|
|
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 and undated |
|
|
|
|
“An axiomatic definition of P- and V- operations,”
1977 |
|
|
|
|
“A simplified form of a problem presented by A. Martin,”
1977 |
box |
4RM193 |
|
|
|
“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
and undated |
|
|
|
|
“A generalization of Menger’s theorem,”
undated |
|
|
|
|
Assorted papers, 1965-1983 and
undated |
box |
4Aa33 (12609203) |
|
|
Seitz, C. |
|
|
|
Van de Snepscheut, J. L. A. |
|
|
|
Turner |
|
|
|
Wirth, N. |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
4RM203c |
|
Photographs, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
3So18a |
|
Oversized Photographs undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
2.116/0D1199 |
|
Diploma, Gymnasium 1948 |
Return to the Table of Contents
|