Tony Hoare
mini|Sir Tony Hoare (2011) Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker.Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls, durch den sich die Korrektheit von Algorithmen beweisen lässt. Außerdem entwickelte Hoare die Prozessalgebra Communicating Sequential Processes (CSP), die zum Beispiel die Entwicklung der Programmiersprachen Ada, Occam und Go beeinflusst hat. Veröffentlicht in Wikipedia
Treffer 1 - 5 von 5 für Suche 'Hoare, Tony', Suchdauer: 0,37s
Treffer weiter einschränken
-
1
-
2
-
3
-
4von Möller, Bernhard
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)UnknownFormat -
5