WikiDer > Tony Hoare

WAGEN. heiser

Charles Anthony Richard Hoare (Colombo (damals Ceylon), 11. Januar1934) ist ein Brite Informatiker dessen Name immer mit der von ihm erfundenen Erfindung verbunden sein wird Sortieralgorithmusschnelle Sorte. Er ist "James Martin Professor of Computing" an der Universität von Oxford, mit emeritierter Status. Hoare wurde 2000 zum Ritter geschlagen und darf sich seitdem verpflichten Sir Tony Hoare zu erwähnen.

Hoare ist auch bekannt für das sogenannte Hoaretriple. Dies ist eine Notation {P} S {Q}, wobei p und Qformal-logisch Ausdrücke sind, und so steht für a Algorithmus oder Computerprogramm. Diese Schreibweise bedeutet: Wenn anfangs p ist wahr, und so ausgeführt wird ist danach Q wahr. Darauf kann Logik angewendet werden, die zum Nachweis der Korrektheit von Computerprogrammen verwendet wird.

1980 erhielt er den Turing-Preis des Verband für Rechenmaschinen:

Für seine grundlegenden Beiträge zur Definition und Gestaltung von Programmiersprachen.

- Verband für Rechenmaschinen^[1]

1985 erhielt er den Faraday-Medaille.1998 hielt er den NWO-Huygens-Vortrag in Den Haag; „Die Wissenschaft der Computer und die Entwicklung von Software“.

Er betrachtet seine Einführung der Null-Referenz in ALGOL W 1965 als seinen größten Fehler: "Ich nenne es meinen Milliardenfehler."^[2]

Verweise

Siehe auch

• Das Problem des Philosophen

Siehe die Kategorie C. A. R. Hoare von Wikimedia Commons für Mediendateien zu diesem Thema.