An axiomatic basis for computer programming
|
|
Charles Antony Richard Hoare (1934) ist ein britischer Informatiker. Er erwickelte den Quicksort-Algorithmus sowie das Hoare-Kalkül, mit der sich die Korrektheit von Algorithmen beweisen lässt. Außerdem entwickelte Hoare die Prozessalgebra Communicating Sequential Processes (CSP), das zum Beispiel die Entwicklung der Programmiersprachen Ada und Occam beeinflusst hat. |
Zitate
Ich stelle fest, dass es zwei Wege gibt, ein Software-Design zu erstellen, entweder so einfach, dass es offensichtlich keine Schwächen hat, oder so kompliziert, dass es keine offensichtlichen Schwächen hat.
In R. Todesco: Technisce Intelligenz:
"N. Wirth schreibt über grundlegende Texte von E. Dijkstra und C. Hoare, zwei Taylors der Informatik, die erkannt haben, dass Programmieren "wissenschaftlicher Behandlung und Darlegung zugänglich ist" und damit ein "Revolution" in der Programmierung bahnten: "Beide Artikel argumentieren überzeugend, dass viele Programmierfehler vermieden werden können, wenn man den Programmierern die Methoden und Techniken, die sie bisher intuitiv und oft unbewusst verwendeten, zur Kenntnis bringt (Wirth, 1983, S. 7)" (S.18).
"M.Jackson ist natürlich auch nicht Vater aller Dinge, der Name Structured Programming erschien bereits 1972 als Titel von R.Dahl, E.Dijkstra und C.Hoare." (S. 144)