Edsger Wybe Dijkstra : his life, work, and legacy

Saved in:
Bibliographic Details
Other Authors Apt, Krzysztof R., 1949- (Editor), Hoare, C. A. R. 1934- (Editor), Dijkstra, Edsger W.
Format Electronic eBook
LanguageEnglish
Published [New York, New York] : Association for Computing Machinery, [2022].
EditionFirst Edition.
SeriesACM books ; no. 45.
Subjects
Dijkstra, Edsger W.
Computer programming.
elektronické knihy
electronic books
Online AccessFull text
ISBN9781450397742
9781450397728
9781450397735
9781450397711
ISSN2374-6777 ;
Physical Description1 online zdroj (xxiv, 550 stran) : portréty

Cover

Table of Contents:
  • The humble programmer
  • 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üdiger 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.

Similar Items