Edsger Wybe Dijkstra : his life, work, and legacy /
"Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to a...
| その他の著者: | , , |
|---|---|
| フォーマット: | Licensed eBooks |
| 言語: | 英語 |
| 出版事項: |
[New York, New York] :
Association for Computing Machinery,
[2022]
|
| 版: | First edition. |
| シリーズ: | ACM books ;
no. 45. |
| オンライン･アクセス: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3766580 |
目次:
- 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.