谦逊的程序员：软件危机与编程的未来

本文是Edsger W. Dijkstra在1972年发表的著名演讲，探讨了早期编程的状况以及日益严重的软件危机。Dijkstra回顾了编程早期不被认可的历史，以及随着计算机性能的飞速提升，软件复杂度也急剧增加，导致软件危机出现。他认为，解决软件危机的关键在于改变编程方法，提倡编写“可理解的程序”，并强调程序正确性证明的重要性，以及避免使用过于复杂的编程语言。他相信通过改进编程语言、采用更结构化的编程方法和重视程序正确性，可以显著提高软件质量和开发效率。