Accueil🇫🇷Chercher

Charles Antony Richard Hoare

Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.

Charles Antony Richard Hoare
Charles Antony Richard Hoare, lors d'une conférence à l'EPFL le 20 juin 2011.
Biographie
Naissance
Surnom
Tony
Nationalité
Domicile
Formation
Activités
Père
Henry Samuel Malortie Hoare (d)
Mère
Marjorie Francis Villiers (d)
Conjoint
Jill Pym (en)
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Site web
Distinction
prix Turing (1980)
prix Harry H. Goode Memorial de la IEEE Computer Society (1981)
Titre honorifique
Sir

Il est connu pour avoir inventé en 1959/1960 l'algorithme de tri rapide encore très utilisé de nos jours quicksort. Hoare est le premier à avoir écrit un compilateur complet pour le langage Algol 60, y compris l'appel de procédures récursives ; il est à l'origine de la logique de Hoare qui sert à la vérification de la correction de programmes et du langage formel Communicating sequential processes (CSP) qui permet de spécifier l'interaction de processus concurrents (y compris le célèbre problème du dîner des philosophes) et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur.

Biographie

Hoare est né à Colombo au Ceylan (maintenant Sri Lanka), fils d'un couple britannique. En 1956, il termine des études de lettres classiques (Classics) au Merton College de l'Université d'Oxford avec un diplôme de bachelor. Il poursuit pendant une année des études de statistiques au niveau gradué à Oxford, puis effectue son service militaire dans la Royal Navy. Ensuite il étudie le russe et la traduction automatique de langues naturelles, à l'Université Lomonossov, l'Université d'État de Moscou, dans l'école de Andreï Kolmogorov. En 1960, il quitte l'Union soviétique, et commence son premier travail, chez un petit fabricant anglais d'ordinateur, Elliott Brothers ; son premier travail est l’implémentation du langage Algol 60 sur les machines de ce constructeur. Il commence également ses premières études d'algorithmes, et publie notamment l'algorithme de tri appelé quicksort[1]. En 1968 il est habilité à l'Université Queen's de Belfast. En 1977, il retourne à Oxford comme professeur d'informatique, et il prend, après la mort de Christopher Strachey, la direction du Programming Research Group du Oxford University Computing Laboratory, ancienne dénomination du département d'informatique de l'Université.

Hoare est professeur émérite de l'Université Oxford, et chercheur principal chez Microsoft Research à Cambridge, en Angleterre.

Ses contributions les plus significatives sont le célèbre algorithme de tri quicksort et l'algorithme de sélection quickselect, la logique de Hoare, le langage formel Communicating Sequential Processes (CSP) utilisé pour spécifier l’interaction entre des processus concurrents, structuration des systèmes d'exploitation d'ordinateurs par l'introduction du concept de moniteur, et la spécification formelle de langages de programmation[2].

Prix et distinctions

Doctorats honoris causa

Écrits

Articles (sélection)

  • C. A. R. Hoare, « Assertions, A Personal Perspective », dans Manfred Broy, Ernst Denert (Ă©diteurs), Software Pioneers – Contributions to Software Engineering, Springer, (ISBN 3-540-43081-4, prĂ©sentation en ligne)
  • C. A. R. Hoare, « Monitors: an operating system structuring concept », Communications of the ACM, vol. 17, no 10,‎ , p. 549-557 (DOI 10.1145/355620.361161)
  • C. A. R. Hoare, « An Axiomatic Basis for Computer Programming », Communications of the ACM, vol. 14, no 1,‎ , p. 39–45 (DOI 10.1145/363235.363259)
  • C. A. R. Hoare, « Proof of a Program: FIND », Communications of the ACM, vol. 12, no 10,‎ , p. 576–580, 583 (DOI 10.1145/362452.36248)
  • C. A. R. Hoare, « Proof of Correctness of Data Representations », Acta Informatica, vol. 1, no 4,‎ , p. 271–28 (DOI 10.1007/BF00289507) (RĂ©imprimĂ© dans le livre Software Pioneers)
  • C. A. R. Hoare, « Retrospective: An Axiomatic Basis for Computer Programming », Communications of the ACM, vol. 52, no 10,‎ , p. 30–32 (DOI 10.1145/1562764.1562779)

Livres

Ole-Johan Dahl, Edsger Dijkstra et C. A. R. Hoare, Structured Programming, Academic Press, (ISBN 0-12-200550-3, OCLC 23937947).

hardback (ISBN 0-13-153271-5) ou paperback (ISBN 0-13-153289-8).

  • C. A. R. Hoare et Michael J.C. Gordon, Mechanised Reasoning and Hardware Design, Prentice Hall International Series in Computer Science, (ISBN 0-13-572405-8, OCLC 25712842).
  • C. A. R. Hoare et He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, (ISBN 0-13-458761-8, OCLC 38199961).

Interviews biographiques

RĂ©flexions sur la programmation

Hoare a formulé de nombreuses réflexions sur la programmation et son évolution, dont voici un échantillon :

  • Lors d'une confĂ©rence en 2009, Hoare « [s]'excuse d'avoir inventĂ© le pointeur NULL[9] - [10] » en ces termes : « Je l’appelle mon erreur Ă  un milliard de dollars. En 1965, je concevais le premier système de typage complet pour un langage orientĂ© objet et je n'ai pas pu rĂ©sister Ă  ajouter la rĂ©fĂ©rence nulle, simplement parce que c'Ă©tait si facile Ă  implĂ©menter. Ceci a conduit Ă  un nombre incalculable d'erreurs, … qui ont probablement causĂ© des dommages d'un milliard de dollars dans les quarante dernières annĂ©es. »
  • Une rĂ©flexion, en 1995, sur l'Ă©volution des mentalitĂ©s face Ă  la programmation[11] : « Il y a dix ans, les chercheurs en mĂ©thodes formelles prĂ©disaient que les programmeurs accepteraient les mĂ©thodes formelles qui rĂ©soudraient les problèmes de fiabilitĂ©. Maintenant, les programmes sont devenus très longs et bien trop grands pour ĂŞtre aisĂ©ment traitĂ©s par les mĂ©thodes formelles. Il est apparu que le monde ne souffre pas trop des problèmes que notre recherche avait l’intention de rĂ©soudre. »
  • Le conseil sur la programmation : « On devrait refuser les petites amĂ©liorations dans environ 97 % des cas, car l'optimisation prĂ©maturĂ©e est la racine de tout le mal », est en fait due Ă  Donald Knuth[12]. C'est Knuth qui l'a attribuĂ©e Ă  Hoare[13] ; ce dernier en refuse la paternitĂ©[14].

Notes

  1. C. A. R. Hoare, « The emperor's old clothes », Communications of the ACM, vol. 24, no 2,‎ , p. 5–83 (DOI 10.1145/358549.358561, lire en ligne [PDF])`.
  2. Citation sur le site du prix Turing.
  3. « Fellows de la Royal Society », Royal Society (consulté le )
  4. « Programming Languages Achievement Award 2011 », ACM
  5. « IEEE John von Neumann Medal Recipients », IEEE
  6. « Honorary Graduates 1989 to present », bath.ac.uk, Université de Bath (consulté le )
  7. (pl) Krzysztof Diks, « Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego », Université de Varsovie,
  8. (es) « Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense », (consulté le )
  9. (en) Tony Hoare, « Null References: The Billion Dollar Mistake », QCon London,
  10. (en) Tony Hoare, « Null References: The Billion Dollar Mistake », InfoQ.com,
  11. (en) C. A. R. Hoare, « Unification of Theories: A Challenge for Computing Science », dans Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (éditeurs), Recent Trends in Data Type Specification: Selected papers, Springer, coll. « Lecture notes in computer science » (no 1130), (ISBN 3-540-61629-2), p. 49-57
  12. (en) Donald Knuth, « Structured Programming with Goto Statements », ACM Computing Surveys, vol. 6, no 4,‎ , p. 261-301 (lire en ligne).
  13. (en) Donald Knuth, « The Errors of Tex », Software—Practice & Experience, vol. 19, no 7,‎ , p. 607–685 (réimprimé dans Literate Programming, page 276).
  14. (en) « Premature optimization is the root of all evil : Hoare, a 2004 email », sur hans.gerwitz.com, (consulté le ).

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.