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)
No comments:
Post a Comment