Dijkstra era un aficionado
bien conocido de
Algol60,
y trabajó en el equipo que
desarrolló el primer
compilador
para este lenguaje. En ese
mismo año creó el primer
sistema operativo
con estructura jerárquica,
de niveles o capas. Fue
denominado
THE
(Technische Hogeschool,
Eindhoven) que se utilizó
con fines didácticos.
Desde
los
años 70,
el principal interés de
Dijkstra fue la
verificación formal.
La opinión que prevalecía
entonces era que uno debe
primero escribir un programa
y seguidamente proporcionar
una
prueba matemática
de su
corrección.
Dijkstra objetó que las
pruebas que resultan son
largas e incómodas, y que la
prueba no da ninguna
comprensión de cómo se
desarrolló el programa. Un
método alternativo es la
derivación de programas,
«desarrollar prueba y
programa conjuntamente». Uno
comienza con una
especificación matemática
del programa que se supone
va a hacer y aplica
transformaciones matemáticas
a la especificación hasta
que se transforma en un
programa que pueda ser
ejecutado. El programa que
resulta entonces es sabido
correcto por la
construcción. Mucho de los
últimos trabajos de Dijkstra
tratan sobre las maneras de
hacer fluida la
argumentación matemática.
Dijkstra murió el
6 de agosto
de
2002
después de una larga lucha
contra el
cáncer.