witcher restricciones programming programación premio lenguaje informatica edsger discipline aportes computer-science dijkstra

computer-science - restricciones - premio dijkstra



¿Cuáles son algunos EWD que hay que leer? (3)

Gracioso. Hice un blog sobre esto: The EW Dijkstra Archive (Update) . Creo que esto puede ser muy importante, ya que es paralelo al libro Una disciplina de programación .

Ver también EWD316, Una breve introducción al arte de la programación .

Dijkstra fue uno de los informáticos más prolíficos. Escribió los famosos EWDs . No es factible leerlos todos. Pero creo que hay algunos que todos debemos leer.

¿Cuáles de ellos son una lectura obligada ?


No se le ha presentado en un entorno formal (es decir, en la escuela o la universidad), probablemente pueda beneficiarse de la exposición al método de construcción de programas de Dijkstra, una técnica muy rígida pero poderosa para documentar y responsabilizar los procesos de pensamiento de uno. Al diseñar programas y algoritmos.

Una disciplina de programación probablemente sería un buen comienzo (como lo sería el Programa de Construcción de Roland Backhouse), pero creo que en términos de impacto puro, es mejor ver a alguien experto en la técnica usarlo con buenos resultados. Su conferencia El poder de contar argumentos (alojada en la Universidad de Texas) es una buena demostración para este propósito.


Recomiendo comenzar con su capítulo en "Programación estructurada". No es un EWD, técnicamente, pero mi Dijkstra favorito. También recomiendo encarecidamente los "Elementos de programación" de Stepanov. En mi opinión, Stepanov es Dijkstra de nuestra generación.