Descripción
Edsger Wybe Dijkstra (1930-2002) fue uno de los investigadores más influyentes en la historia de la informática, realizando contribuciones fundamentales tanto a la teoría como a la práctica de la computación. Al principio de su carrera, propuso el algoritmo de la ruta más corta de una sola fuente, ahora comúnmente conocido como el 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 interbloqueos y la sincronización. Escritor prolífico y firme defensor del concepto de programación estructurada, argumentó convincentemente contra el uso de la sentencia Go To. En 1972 recibió el Premio Turing de la ACM por "contribuciones fundamentales a la programación como un desafío intelectual elevado; por su elocuente insistencia y demostración práctica de que los programas deben componerse correctamente, no solo depurarse hasta la corrección; por su iluminadora percepción de los problemas en los fundamentos del diseño de programas". Posteriormente inventó el concepto de autoestabilización, relevante para la computación tolerante a fallos. También ideó un lenguaje elegante para la programación no determinista y su semántica de precondición más débil, presentada en su influyente libro de 1976 A Discipline of Programming en el que abogaba por el desarrollo de programas en concierto con sus pruebas de corrección. En las últimas etapas de su vida, dedicó mucha atención al desarrollo y la presentación de pruebas matemáticas, brindando un apoyo adicional a su arraigada opinión de que el proceso de programación debe considerarse como una actividad matemática.
En este nuevo y único libro, 31 informáticos, incluyendo cinco galardonados con el Premio Turing, presentan y discuten las numerosas contribuciones de Dijkstra a la ciencia de la computación y evalúan su impacto. Varios autores conocieron a Dijkstra como amigo, maestro, conferenciante o colega. Sus ensayos biográficos y homenajes ofrecen una fascinante imagen de Dijkstra, con múltiples autores, desde los primeros días de su carrera hasta el final de su vida.
Autor: Krzysztof R. Apt, Tony Hoare
Editorial: ACM Books
Publicado: 14/07/2022
Páginas: 574
Tipo de encuadernación: Tapa blanda
Peso: 2.15 lbs
Tamaño: 9.25h x 7.50w x 1.17d
ISBN13: 9781450397711
ISBN10: 1450397719
Categorías BISAC:
- Informática | Programación | General
- Informática | Desarrollo e Ingeniería de Software | General
- Informática | Procesamiento Paralelo