Originaltitel:
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Inhalt des Buches:
Edsger Wybe Dijkstra (1930-2002) war einer der einflussreichsten Forscher in der Geschichte der Informatik und leistete grundlegende Beiträge sowohl zur Theorie als auch zur Praxis der Datenverarbeitung. Schon früh in seiner Karriere schlug er den Algorithmus für den kürzesten Weg vor, der heute allgemein als Dijkstra-Algorithmus bezeichnet wird. Er schrieb (mit Jaap Zonneveld) den ersten ALGOL 60-Compiler und entwarf und implementierte mit seinen Kollegen das einflussreiche Betriebssystem THE. Dijkstra erfand den Bereich der nebenläufigen Algorithmen mit Konzepten wie gegenseitigem Ausschluss, Deadlock-Erkennung und Synchronisierung. Als produktiver Autor und energischer Verfechter des Konzepts der strukturierten Programmierung argumentierte er überzeugend gegen die Verwendung der Go To-Anweisung. 1972 wurde er mit dem ACM Turing Award für "grundlegende Beiträge zur Programmierung als hohe intellektuelle Herausforderung" ausgezeichnet.
Für sein eloquentes Beharren und seine praktische Demonstration, dass Programme korrekt komponiert und nicht nur auf Korrektheit hin debugged werden sollten.
Für die Erhellung der Wahrnehmung von Problemen bei den Grundlagen des Programmdesigns". In der Folge erfand er das Konzept der Selbststabilisierung, das für die fehlertolerante Datenverarbeitung von Bedeutung ist. Außerdem entwickelte er eine elegante Sprache für die nichtdeterministische Programmierung und deren Semantik der schwächsten Vorbedingung, die in seinem einflussreichen Buch A Discipline of Programming von 1976 vorgestellt wurde, in dem er sich für die Entwicklung von Programmen in Abstimmung mit ihren Korrektheitsbeweisen aussprach. In den späteren Phasen seines Lebens widmete er der Entwicklung und Präsentation mathematischer Beweise viel Aufmerksamkeit und untermauerte damit seine seit langem vertretene Ansicht, dass der Programmierprozess als eine mathematische Aktivität betrachtet werden sollte.
In diesem einzigartigen neuen Buch präsentieren und diskutieren 31 Informatiker, darunter fünf Turing-Preisträger, Dijkstras zahlreiche Beiträge zur Informatik und bewerten deren Auswirkungen. Mehrere Autoren kannten Dijkstra als Freund, Lehrer, Dozent oder Kollege. Ihre biografischen Essays und Würdigungen vermitteln ein faszinierendes Bild von Dijkstra, von den Anfängen seiner Karriere bis zu seinem Lebensende.
Weitere Daten des Buches:
| ISBN: | 9781450397711 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2022 |
| Seitenzahl: | 574 |
Kauf:
Derzeit verfügbar, auf Lager.
