Edsger Wybe Dijkstra: su vida, obra y legado

Título original:

Edsger Wybe Dijkstra: His Life, Work, and Legacy

Contenido del libro:

Edsger Wybe Dijkstra (1930-2002) fue uno de los investigadores más influyentes de la historia de la informática, con aportaciones fundamentales tanto a la teoría como a la práctica de la computación. Al principio de su carrera, propuso el algoritmo del camino más corto de una sola fuente, ahora comúnmente conocido como algoritmo de Dijkstra. Escribió (con Jaap Zonneveld) el primer compilador ALGOL 60, y diseñó e implementó con sus colegas el influyente sistema operativo THE. Dijkstra inventó el campo de los algoritmos concurrentes, con conceptos como la exclusión mutua, la detección de bloqueos y la sincronización. Escritor prolífico y firme defensor del concepto de programación estructurada, se opuso de forma convincente al uso de la sentencia Go To. En 1972 fue galardonado con el Premio Turing de la ACM por "sus contribuciones fundamentales a la programación como reto intelectual de alto nivel".

Por su elocuente insistencia y demostración práctica de que los programas deben componerse correctamente, no sólo depurarse para que sean correctos".

Por iluminar la percepción de los problemas en los fundamentos del diseño de programas". Posteriormente inventó el concepto de autoestabilización relevante para la informática tolerante a fallos. También ideó un elegante lenguaje para la programación no determinista y su semántica de precondición más débil, recogida en su influyente libro de 1976 A Discipline of Programming (Una disciplina de programación), en el que abogaba por el desarrollo de programas junto con sus pruebas de corrección. En las postrimerías de su vida, dedicó mucha atención al desarrollo y la presentación de pruebas matemáticas, respaldando así su opinión de que el proceso de programación debería considerarse una actividad matemática.

En este nuevo libro único, 31 informáticos, entre ellos cinco galardonados con el Premio Turing, presentan y discuten las numerosas contribuciones de Dijkstra a la informática y evalúan su impacto. Varios autores conocieron a Dijkstra como amigo, profesor, conferenciante o colega. Sus ensayos biográficos y homenajes ofrecen una fascinante imagen de Dijkstra, desde los inicios de su carrera hasta el final de su vida.