Edsger Wybe Dijkstra: His Life, Work, and Legacy

Edsger Wybe Dijkstra was a influential researcher in computer science, known for his single-source shortest path algorithm, ALGOL 60 compiler, and THE operating system. He invented concurrent algorithms, structured programming, and self-stabilization. 31 computer scientists present and discuss his contributions, assessing their impact.

Format: Paperback / softback
Length: 574 pages
Publication date: 30 July 2022
Publisher: Association of Computing Machinery,U.S.

Edsger Wybe Dijkstra, a towering figure in the history of computer science, left an indelible mark on both the theory and practice of computing through his groundbreaking contributions. Born in 1930 and passing away in 2002, Dijkstra's legacy continues to inspire and influence generations of researchers and practitioners.

Early in his career, Dijkstra proposed the single-source shortest path algorithm, now widely known as Dijkstra's algorithm. Alongside Jaap Zonneveld, he co-authored the first ALGOL 60 compiler and played a pivotal role in developing the influential THE operating system. His groundbreaking work in concurrent algorithms introduced concepts such as mutual exclusion, deadlock detection, and synchronization, laying the foundation for modern computing systems.

Dijkstra was a prolific writer and a strong advocate of structured programming. He vehemently opposed the use of the Go To statement, emphasizing the importance of proper program composition. In recognition of his profound contributions, Dijkstra received the ACM Turing Award in 1972. The award recognized his intellectual challenge, insistence on correct program composition, and insightful perception of programming problems.

Beyond his algorithmic innovations, Dijkstra made significant contributions to fault-tolerant computing. He invented the concept of self-stabilization, which is crucial in ensuring the reliability of computer systems. He also developed an elegant language for nondeterministic programming, featuring its weakest precondition semantics, showcased in his influential 1976 book, "A Discipline of Programming." In this book, Dijkstra advocated for the development of programs in conjunction with their correctness proofs, emphasizing the mathematical nature of the programming process.

In later years, Dijkstra devoted much of his time to the development and presentation of mathematical proofs, further solidifying his belief that programming should be approached as a mathematical activity. His dedication to rigorous reasoning and mathematical rigor left an enduring impact on the field.

In this remarkable new book, a collective of 31 computer scientists, including five Turing Award recipients, come together to present and discuss Dijkstra's profound contributions. The book serves as a tribute to the visionary mind of Dijkstra and provides a comprehensive exploration of his life and work. Through their insights and perspectives, the authors shed light on the lasting impact of Dijkstra's ideas and methodologies on computer science and its applications.

Edsger Wybe Dijkstra's legacy continues to shape the field of computer science, inspiring researchers and practitioners to push the boundaries of what is possible. His contributions to algorithms, programming languages, and fault-tolerant computing have left an indelible mark on the world of computing, and his ideas will continue to be relevant for generations to come.

Weight: 363g
Dimension: 229 x 152 (mm)
ISBN-13: 9781450397711