Edsger Dijkstra y "Goto Statement Considered

Harmful" LATEX
Rodrigo Sánchez Torres - ICM6
9 de octubre del 2018

1 Biografia de Edsger Dijkstra

Edsger W. Dijkstra nacio en Rotterdam. Su padre, quien fuera Presidente de la
Sociedad Holandesa de Quimica, había aprendido química durante la secundaria
y más tarde de su superintendente. Su madre era matemática, pero nunca tuvo
un trabajo formal. Dijkstra siempre había considerado emprender una carrera en
Derecho y representar a los Países Bajos en las Naciones Unidas. Sin embargo, tras
graduarse en la escuela en 1948, bajo la dirección de sus padres estudió matemáticas
y física, y finalmente pasó a estudiar Física teórica en la Universidad de Leiden. Más
tarde trabajó como investigador para Burroughs Corporation a principios de los años
1970. En la Universidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger
Centennial Chair in Computer Sciences. En 1965 dio lugar al primer paper en el
campo de la computación concurrente y la programación concurrente. Entre sus
contribuciones a las ciencias de la computación está la solución del problema del
camino más corto, también conocido como el algoritmo de Dijkstra, la notación
polaca inversa y el relacionado algoritmo shunting yard, THE multiprogramming
system, el algoritmo del banquero y la construcción del semáforo para coordinar
múltiples procesadores y programas. Otro concepto debido a Dijkstra, en el campo
de la computación distribuida, es el de la auto-estabilización, una vía alternativa
para garantizar la confiabilidad del sistema. El algoritmo de Dijkstra es usado en la
ruta más corta primero (SPF) que es usado en el protocolo de enrutamiento Open
Shortest Path First (OSPF). También se le debe la autoría de la expresión «Crisis
del software», aparecida en su libro The Humble Programmer y usada ampliamente
en la famosa reunión de la OTAN de 1968 sobre desarrollo del software. Recibió el
Premio Turing en 1972.

1
2 Articulo "Goto Statement Considered Harm-
ful"
En marzo de 1968, el científico de computación holandés Edsger W. Dijkstra (co-
nocido en occidente como Edgar Dijkstra) publicó el influyente artículo "Go To
statement considered harmful"(La instrucción Go To considerada dañina) en el bo-
letín de Comunicaciones de la ACM (Association for Computing Machinery), tam-
bién conocida como CACM. En este artículo señalaba que el uso creciente del salto
incondicional estaba ocasionando que los programas se volvieran ilegibles y muy
propensos a errores y reflexionaba y disertaba como el mantener cierta disciplina
en la programación permitiría hacer no solamente programas legibles y confiables,
sino hacerlos más grandes y propensos a modificarlos en vez de rehacerlos (es decir,
hacerlos más flexibles).
Por un lado, esto dio inicio a la disciplina llamada Programación Estructurada
donde todo el flujo del programa está basado en bloques bien definidos y que no
deben traslaparse ni intereferir entre sí.
Pero esto también ocasionó una gran polémica que, aunque es muy técnica y se
ha ido acallando, sigue siendo escabrosa. Desde el principio muchos programadores
protestaron porque la sentencia GO TO era su principal herramienta de control de
flujo, no había otra cosa; en 1974 el propio Donald Kunth (matemático considerado el
mayor experto en algoritmos computacionales y profesor emérito en Stanford) argüía
que a veces el uso del GO TO mejoraba la eficiencia de ejecución, de forma era mejor
alternativa que el detrimento en legibilidad; en 1978 los diseñadores del lenguaje C,
Brian Kernighan y Dennis Ritchie dijeron que "se podía abusar infinitamente del GO
TO", pero de todas maneras lo incluyeron en las especificaciones de C. El también
científico de la computación, el suizo Niklaus Wirth, jefe del equipo de diseño de
los lenguajes académicos Euler, Algol W, Pascal, Modula, Modula-2 y Oberon (que
por cierto era el editor del CACM cuando se publicó la carta de Dijkstra), diseñó
los lenguajes para impulsar la disciplina del estructuralismo en la programación,
aunque incluyó el GO TO por si acaso.