A Discipline of Programming (Prentice-Hall Series in Automatic Computation)

"A Discipline of Programming" von Edsger W. Dijkstra ist ein bahnbrechendes Werk in der Informatik, das sich auf die Entwicklung korrekter Programme konzentriert. Das Buch stellt eine methodische Herangehensweise an die Programmierung vor, bei der Dijkstra behauptet, dass es möglich ist, Programme zu erstellen, die von Anfang an korrekt sind, anstatt sie durch Versuch und Irrtum zu debuggen. Es enthält eine Reihe sorgfältig ausgearbeiteter Beispiele und Übungen zur Illustration dieser Theorie. Dijkstra führt auch den Leser in einige seiner eigenen Erfindungen ein, darunter das Konzept der "Semaphore" für die Koordinierung paralleler Prozesse und den "Dijkstra-Algorithmus" für kürzeste Pfade in Graphen. Das Buch ist sowohl ein theoretisches als auch praktisches Werkzeug für jeden Programmierer und Computerwissenschaftler.