Selected Writings on Computing: A personal Perspective Edsger Wybe Dijkstra 1968 - 1982

Selected Writings on Computing: A personal Perspective
Edsger Wybe  Dijkstra  1968 - 1982
From: https://www.cs.utexas.edu/users/EWD/indexBibTeX.html


https://www.brown.edu/Research/Istrail_Lab/resources/SelectedWritingsReport.pdf
By: S. Istrail

EWD227  (1968)
"Stepwise program construction"
https://www.cs.utexas.edu/users/EWD/ewd02xx/EWD227.PDF
(Pags 1 - 14)

EWD338 (1978)
"Parallelism in multi-record transactions" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD338.PDF
(Pags 15 - 21)

EWD376  (1973)
"Finding the maximum strong components in a directed graph" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD376.PDF 
(Pags 22-30)

EWD385 (1973)
"Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD385.PDF 
(Pags 31-33)

EWD386 (1973) 
"The solution to a cyclic relaxation problem" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD386.PDF 
(Pags 34-35) 

EWD387 (1973) 
"Trip report IBM Seminar 'Communication and Computers' '', Newcastle, Sept. 1973" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD387.PDF 
(Pags 36-40)

EWD391 (1973)
"Self-stabilization in spite of distributed control"
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD391.PDF
(pags 41-46)

EWD407 (1974)
"Acceptance speech for the AFIPS Harry Goode Memorial Award 1974" 
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD407.PDF 
(Pags 47-49)

EWD427 (1974) "Speech at the occasion of an anniversary"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF 
(Pags 50-53)

EWD442 (1974) "Inside `Mathematics Inc' "
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD442.PDF
(Pags 54-55)

EWD443 (1974)
"A multidisciplinary approach to mathematics"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD443.PDF
(Pags 56-59)


EWD447 (1974)
"On the role of scientific thought"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD447.PDF 
(Pags 60-66)

EWD462 (1974)
"A time-wise hierarchy imposed upon the use of a two-level store"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD462.PDF
(Pags 67-78)

EWD464 (1974)
"A new elephant built from mosquitos humming in harmony"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD464.PDF
(Pags 79-83)

EWD465 (1974)
"Monotonic replacement algorithms and their implementation"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD465.PDF
(Pags 84-88)

EWD466 (1974)
"Trip report E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8--14 December 1974"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD466.PDF
(Pags 89-94)

EWD474 (1975) 
"Trip report visit ETH Zurich, 3--4 February 1975 by E.W.Dijkstra"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD474.PDF 
(Pags 95-98) 

EWD475 (1975)
"A letter to my old friend Jonathan"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD475.PDF
(Pags 99-103) 

EWD480 (1975)
" 'Craftsman or scientist?' "
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD480.PDF
(Pags 104-109)

EWD482 (1975)
"Exercises in making programs robust"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD482.PDF
(Pags 110-119)

EWD494 (1975)
"Trip report E.W.Dijkstra 16th April / 7th May, U.S.A. and Canada"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD494.PDF 
(Pags 120-128)
  
EWD498 (1975)
"How do we tell truths that might hurt?"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD498.PDF 
(Pags 129-131)

EWD501 (1975)
"Variations on a theme: an open letter to {C.A.R. Hoare}"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD501.PDF 
(Pags 132-140)

EWD503 (1975)
"A post-scriptum to EWD501"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD503.PDF 
(Pags 141-144)

EWD504 (1975) "Erratum and embellishments of {EWD503}"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD504.PDF 
(Pags 145-146)

EWD508 (1975)
"A synthesis emerging?"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD508.PDF
(Pags 147-160)

EWD512 (1975)
"Comments at a symposium"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD512.PDF 
(Pags 161-164)

EWD513 (1975)
"Tripreport E.W.Dijkstra Newcastle, 8--12 September 1975"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD513.PDF
(Pags 165-168)

EWD525 (1975)
"On a warning from E.A.Hauck"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD525.PDF
(Pags 169-171)

EWD528 (1975)
"More on Hauck's warning"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD528.PDF
(Pags 172-173)

EWD538 (1975)
"A collection of beautiful proofs"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD538.PDF
(Pags 174-183)

EWD539 (1975)
"Mathematics Inc., a private letter from its Chairman"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD539.PDF 
(Pags 184-187)

EWD554 (1975)
"A personal summary of the Gries-Owicki theory"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD554.PDF
(Pags 188-199)

EWD561 (1976)
"A 'non trip report' from E.W.Dijkstra"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD561.PDF
(Pags: 200-204)

EWD563 (1976)
"Formal techniques and sizeable programs"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD563.PDF
(Pags 205-214)

EWD570 (1976)
"An exercise for Dr. R.M.Burstall"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD570.PDF 
(Pags 215-216)

EWD573 (1976)
"A great improvement"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD573.PDF
(Pags 217-219)

EWD575 (1976)
"To H.D.Mills, Chairman Software Methodology Panel"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD575.PDF
(Pags 220-222)

EWD576 (1976)
"On subgoal induction"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD576.PDF
(Pags: 223-224)

EWD577 (1976)
"Tripreport E.W.Dijkstra, ECI-conference 9--12 August 1976, Amsterdam"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD577.PDF
(Pags 225-229)

EWD578 (1976)
"More about the function 'fusc' (A sequel to EWD570)"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD578.PDF 
(Pags 230-232)

EWD582 (1976)
"A proof of a theorem communicated to us by S.Ghosh"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD582.PDF
(Pags 233-234)

EWD584 (1976)
"Tripreport E.W.Dijkstra, Poland and USSR, 4--25 September 1976"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD584.PDF
(Pags 235-244)

EWD585 (1976)
"Tripreport E.W.Dijkstra, Tokyo, 28 Sep.--3 Oct. 1976"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD585.PDF 
(Pags 245-250)

EWD594 (1976)
"A parable"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD594.PDF
(Pags 251-252)

EWD603 (1976)
"Tripreport E.W.Dijkstra, St.Pierre-de-Chartreuse, 12--19 Dec.1976"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD603.PDF 
(Pags 253-258)

EWD607 (1977)
"A correctness proof for communicating processes: a small exercise"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD607.PDF 
(Pags 259-263)

EWD608 (1977)
"An elephant inspired by the Dutch National Flag"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD608.PDF 
(Pags 264-267)

EWD611 (1977)
"On the fact that the Atlantic Ocean has two sides"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD611.PDF 
(Pags 268-276)

EWD613 (1977)
"Tripreport E.W.Dijkstra, Australia, 16 February 1977--21 March 1977"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD613.PDF 
(Pags 277-283)

EWD614 (1977)
"A somewhat open letter to EAA or: why I proved the boundedness of the non-determinacy in the way I did"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD614.PDF 
(Pags 284-287)

EWD618 (1977)
"On Webster, users, bugs and Aristotle"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD618.PDF 
(Pags 288-291)

EWD622 (1977)
"On making solutions more and more fine-grained (In gratitude dedicated to C.A.R.Hoare, D.E.Knuth, and J.F.Traub.)"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD622.PDF 
(Pags 292-307)

EWD623 (1977)
"The mathematics behind the Banker's Algorithm"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD623.PDF 
(Pags 308-312)

EWD629 (1977)
"On two beautiful solutions designed by Martin Rem"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD629.PDF 
(Pags 313-318)

EWD635 (1977)
"Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 5--10 Sept. 1977"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD635.PDF
(Pags 319-323)

EWD636 (1977)
"Why naive program transformation systems are unlikely to work"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD636.PDF 
(Pags 324-328)

EWD637 (1977)
"The Three Golden Rules for Successful Scientific Research"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD637.PDF 
(Pags 329-330)

EWD639 (1977)
"The introduction of MAES(R)"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD639.PDF 
(Pags 331-333)

EWD643 (1977)
"A class of simple communication patterns"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD643.PDF 
(Pags 334-337)

EWD648 (1977)
" 'Why is software so expensive?' An explanation to the hardware designer" 
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD648.PDF
(Pags 338-348)

EWD650 (1977)
"A theorem about odd powers of odd integers"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD650.PDF 
(Pags 349-350)

EWD671 (1978)
"Program inversion"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD671.PDF 
(Pags 351-354)

EWD673 (1978)
"On weak and strong termination"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD673.PDF 
(Pags 355-357)

EWD675 (1978)
"The equivalence of bounded nondeterminacy and continuity"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD675.PDF 
(Pags 358-359)

EWD678 (1978)
"A story that starts with a very good computer"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD678.PDF 
(Pages 360-362)