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 |
|
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.
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.
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.
|
|
|
|
|
|
|
|
|
|
Dijkstra, Edsger
Wybe |
|
|
University of Texas at
Austin. Dept. of Computer Sciences |
|
|
Computer
programming |
|
|
Computer sceince |
|
|
|
|
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 |
Edsger W. Dijkstra Papers, 1948-2002,
Archives of American Mathematics, Dolph Briscoe Center for American History, The University
of Texas at Austin
Detailed Description of the Papers
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Correspondence Index |
| box |
| 4Aa1 (12609065) |
|
|
September 8, 1975 - May 8, 1980 |
|
|
|
May 8, 1980 - November 20, 1991 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
"Brievenboek" notebook [index to
correspondence?] |
| box |
| 4Aa2 (12613404) |
|
|
February 6, 1957 - 1971 |
|
|
|
May 1, 1965 - December 15, 1971 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa2 (12613404) |
|
Notebook, "Detailed Resume" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa2 (12613404) |
|
Unidentified overhead transparencies |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
| 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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa25 (12609010) |
|
Honors and Invitations |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Letter of condolence to EWD,
1994 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Letter from unidentified student to EWD,
undated |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Interviews & Articles w/EWD,
1981, 1983, 1989, 1990 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
60th Birthday tribute |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Record of Correspondence w/ T.M. Halbertsum,
1953-1997 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Printed Matter & apothecary letter |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Mathematical Works |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
EWD Reprints |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa14 (12609112) |
|
Publications with articles about EWD |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa29 (12613368) |
|
Publications with articles about EWD |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4Aa30 (12613380) |
|
Publications with articles about EWD |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 4RM112 |
|
Photographs, undated |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 3So18a |
|
Oversized Photographs undated |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| box |
| 2.116/0D1199 |
|
Diploma, Gymnasium 1948 |
|
