default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdsger Wybe Dijkstra: His Life, Work, and Legacy, 2022
- Krzysztof R. Apt, Tony Hoare:
Edsger Wybe Dijkstra: His Life, Work, and Legacy. ACM Books 45, ACM / Morgan & Claypool 2022, ISBN 978-1-4503-9773-5 - Preface.
- Photo Credits.
- Edsger W. Dijkstra:
The Humble Programmer. 5-18 - Mikkel Thorup
:
Dijkstra's Single Source Shortest Path Algorithm. 21-26 - Butler W. Lampson:
Programming Concurrent Systems. 27-46 - Leslie Lamport:
Concurrent Algorithms. 47-80 - Ted Herman:
Origin of Self-Stabilization. 81-104 - Reiner Hähnle:
Dijkstra's Legacy on Program Verification. 105-140 - David Gries:
Development of Correct Programs. 141-168 - Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Nondeterminism and Guarded Commands. 169-204 - Christian Lengauer:
A Personal View of Edsger W. Dijkstra and His Stance on Software Construction. 205-214 - Robert A. van de Geijn, Maggie E. Myers:
Applying Dijkstra's Vision to Numerical Software. 215-230 - Vladimir Lifschitz:
Calculational Proofs. 231-246 - Jayadev Misra:
An Homage to the Beautiful Mathematical EWDs. 247-282 - Edsger W. Dijkstra:
A Note on Two Problems in Connexion with Graphs. 287-290 - Edsger W. Dijkstra:
Recursive Programming. 291-300 - Edsger W. Dijkstra:
Some Meditations on Advanced Programming. 301-310 - Edsger W. Dijkstra:
Solution of a Problem in Concurrent Programming Control. 311-314 - Edsger W. Dijkstra:
Go To Statement Considered Harmful. 315-318 - Edsger W. Dijkstra:
The Structure of the "THE"-Multiprogramming System. 319-332 - Edsger W. Dijkstra:
Self-stabilizing Systems in Spite of Distributed Control. 333-338 - Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens:
On-the-Fly Garbage Collection: An Exercise in Cooperation. 339-358 - Edsger W. Dijkstra:
On the Reliability of Programs. 359-370 - Krzysztof R. Apt:
Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders. 373-398 - E. Allen Emerson:
Memories of Edsger W. Dijkstra. 399-404 - David Gries:
Reflections on Edsger and His Influence. 405-410 - Tony Hoare:
Forty Years with Edsger. 411-422 - Brian Randell:
Edsger Dijkstra - Some Reminiscences. 423-444 - Fred B. Schneider:
Evoking Whitehead's Dictum. 445-454 - Edsger W. Dijkstra in the Eyes of His Friends, Colleagues, and Students. 455-490
- Manfred Broy:
Edsger W. Dijkstra as a Lecturer in Marktoberdorf. 493-510 - Hamilton Richards:
The Edsger W. Dijkstra Archive. 511-520 - Krzysztof R. Apt:
Edsger W. Dijkstra: Biographical Information. 521-530 - Authors' Biographies/Index. 531-550
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
