| Contents |
The humble programmer / Edsger W. Dijkstra -- Dijkstra's single source shortest path algorithm / Mikkel Thorup -- Programming concurrent systems / Butler Lampson -- Concurrent algorithms / Leslie Lamport -- Origin of self-stabilization / Ted Herman -- Dijkstra's legacy on program verification / Reiner H̃hnle -- Development of correct programs / David Gries -- Nondeterminism and guarded commands / Krzysztof R. Apt and Ernst-R iger Olderog -- A personal view of Edsger W. Dijkstra and his stance on software construction / Christian Lengauer -- Applying Dijkstra's vision to numerical software / Robert van de Geijn and Maggie Myers -- Calculational proofs / Vladimir Lifschitz -- An homage to the beautiful mathematical EWDs / Jayadev Misra -- A note on two problems in connexion with graphs / E.W. Dijkstra -- Recursive programming / E.W. Dijkstra -- Some meditations on advanced programming / E.W. Dijkstra -- Solution of a problem in concurrent programming control / E.W. Dijkstra -- Go To statement considered harmful / E.W. Dijkstra -- The structure of the "THE"-multiprogramming system / Edsger W. Dijkstra -- Self-stabilizing systems in spite of distributed control / Edsger W. Dijkstra -- On-the-fly garbage collection : an exercise in cooperation / Edsger W. Dijkstra, Leslie Lamport, A.J. Martin, C.S. Scholten, and E.F.M. Steffens -- On the reliability of programs / E.W. Dijkstra -- Edsger Dijkstra, the man who carried computer science on his shoulders / Krzysztof R. Apt -- Memories of Edsger W. Dijkstra / E. Allen Emerson -- Reflections on Edsger and his influence / David Gries -- Forty years with Edsger / Tony Hoare -- Edsger Dijkstra : some reminiscences / Brian Randell -- Evoking Whitehead's dictum / Fred B. Schneider -- Edsger W. Dijkstra in the eyes of his friends, colleagues, and students / Lex Bijlsma [and thirtenn others] -- Edsger W. Dijkstra as a lecturer in Marktoberdorf / Manfred Broy -- The Edsger W. Dijkstra Archive / Hamilton Richards -- Edsger W. Dijkstra : biographical information / Krzysztof R. Apt. |
