C. A. R. Hoare
Période historique : 1934-présent
Inventeur de Quicksort, de la logique de Hoare et du modèle de processus communicants CSP.
Contenu & Formulation mathématique
Genèse & Portée historique
Sir Tony Hoare est l'un des géants de l'informatique théorique. Outre l'algorithme de tri Quicksort (1959), il a inventé la logique de Hoare {P} C {Q} permettant de prouver rigoureusement la correction d'un programme informatique, et le formalisme de concurrence CSP (Communicating Sequential Processes).
Prix Turing 1980, il a qualifié avec humour l'invention de la référence nulle (null pointer) en 1965 de « son erreur à un milliard de dollars » en raison des innombrables bugs qu'elle a engendrés.
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
C. A. R. Hoare
Inventeur de Quicksort, de la logique de Hoare et du modèle de processus communicants CSP.
Œuvres : QuicksortLogique de HoareProcessus communicants séquentiels (CSP)
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.