Property |
Value |
dbo:abstract
|
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. 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. (fr)
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. 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. (fr)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthPlace
| |
dbo:birthYear
| |
dbo:citizenship
| |
dbo:discipline
| |
dbo:doctoralStudent
| |
dbo:domain
| |
dbo:employer
| |
dbo:father
| |
dbo:institution
| |
dbo:knownFor
| |
dbo:mother
| |
dbo:nationality
| |
dbo:occupation
| |
dbo:residence
| |
dbo:thumbnail
| |
dbo:thumbnailCaption
|
- Charles Antony Richard Hoare, lors d'une conférence à l'EPFLle 20 juin 2011.
|
dbo:university
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 15873 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1969 (xsd:integer)
- 1971 (xsd:integer)
- 1972 (xsd:integer)
- 1974 (xsd:integer)
- 1985 (xsd:integer)
- 1992 (xsd:integer)
- 1998 (xsd:integer)
- 2002 (xsd:integer)
- 2006 (xsd:integer)
- 2009 (xsd:integer)
|
prop-fr:auteur
|
- C. A. R. Hoare (fr)
- C. A. R. Hoare et He Jifeng (fr)
- C. A. R. Hoare et Michael J.C. Gordon (fr)
- Jonathan Bowen (fr)
- Len Shustek (fr)
- Ole-Johan Dahl, Edsger Dijkstra et C. A. R. Hoare (fr)
- Philip Frana (fr)
- C. A. R. Hoare (fr)
- C. A. R. Hoare et He Jifeng (fr)
- C. A. R. Hoare et Michael J.C. Gordon (fr)
- Jonathan Bowen (fr)
- Len Shustek (fr)
- Ole-Johan Dahl, Edsger Dijkstra et C. A. R. Hoare (fr)
- Philip Frana (fr)
|
prop-fr:auteurOuvrage
|
- Manfred Broy, Ernst Denert (fr)
- Manfred Broy, Ernst Denert (fr)
|
prop-fr:champs
| |
prop-fr:consultéLe
|
- septembre 2013 (fr)
- septembre 2013 (fr)
|
prop-fr:dateDeNaissance
| |
prop-fr:diplôme
| |
prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.114500 (xsd:double)
|
prop-fr:domicile
| |
prop-fr:institutions
| |
prop-fr:isbn
|
- 0 (xsd:integer)
- 3 (xsd:integer)
|
prop-fr:jour
|
- 8 (xsd:integer)
- 17 (xsd:integer)
|
prop-fr:journal
| |
prop-fr:kommentar
|
- Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare (fr)
- Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare (fr)
|
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Jonathan Bowen (fr)
- Jonathan Bowen (fr)
|
prop-fr:lieuDeNaissance
| |
prop-fr:légende
| |
prop-fr:mois
|
- mars (fr)
- septembre (fr)
- juillet (fr)
- octobre (fr)
- mars (fr)
- septembre (fr)
- juillet (fr)
- octobre (fr)
|
prop-fr:nationalité
| |
prop-fr:nom
|
- Charles Antony Richard Hoare (fr)
- Charles Antony Richard Hoare (fr)
|
prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
- 10 (xsd:integer)
|
prop-fr:oclc
|
- 23937947 (xsd:integer)
- 25712842 (xsd:integer)
- 38199961 (xsd:integer)
|
prop-fr:pages
|
- 30 (xsd:integer)
- 38 (xsd:integer)
- 39 (xsd:integer)
- 271 (xsd:integer)
- 549 (xsd:integer)
- 576 (xsd:integer)
|
prop-fr:paysDeNaissance
|
- Ceylan, maintenant Sri Lanka (fr)
- Ceylan, maintenant Sri Lanka (fr)
|
prop-fr:prix
| |
prop-fr:présentationEnLigne
| |
prop-fr:renomméPour
| |
prop-fr:titre
|
- dbpedia-fr:Communicating_sequential_processes
- An Axiomatic Basis for Computer Programming (fr)
- An Interview with C.A.R. Hoare (fr)
- An Interview with Charles Antony Richard Hoare (fr)
- Mechanised Reasoning and Hardware Design (fr)
- Monitors: an operating system structuring concept (fr)
- Oral History of Sir Antony Hoare (fr)
- Proof of Correctness of Data Representations (fr)
- Proof of a Program: FIND (fr)
- Structured Programming (fr)
- Unifying Theories of Programming (fr)
- Retrospective: An Axiomatic Basis for Computer Programming (fr)
|
prop-fr:titreChapitre
|
- Assertions, A Personal Perspective (fr)
- Assertions, A Personal Perspective (fr)
|
prop-fr:titreOuvrage
|
- Software Pioneers – Contributions to Software Engineering (fr)
- Software Pioneers – Contributions to Software Engineering (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 1 (xsd:integer)
- 12 (xsd:integer)
- 14 (xsd:integer)
- 17 (xsd:integer)
- 52 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- dbpedia-fr:Academic_Press
- Springer (fr)
- Prentice Hall International Series in Computer Science (fr)
- Musée de l'histoire de l'ordinateur, CHM Reference number: X3698.2007 (fr)
- Charles Babbage Institute, University of Minnesota, Minneapolis (fr)
|
prop-fr:étudiantsThèse
|
- Andrew P. Black, Stephen Brookes, Cliff Jones, David Naumann, Bill Roscoe, William Stewart (fr)
- Andrew P. Black, Stephen Brookes, Cliff Jones, David Naumann, Bill Roscoe, William Stewart (fr)
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. (fr)
- Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory. (fr)
|
rdfs:label
|
- Charles Antony Richard Hoare (fr)
- C. A. R. Hoare (es)
- Charles Antony Richard Hoare (pt)
- Charles Antony Richard Hoare (vi)
- Tony Hoare (de)
- Tony Hoare (eu)
- Tony Hoare (nl)
- アントニー・ホーア (ja)
- 東尼·霍爾 (zh)
- Charles Antony Richard Hoare (fr)
- C. A. R. Hoare (es)
- Charles Antony Richard Hoare (pt)
- Charles Antony Richard Hoare (vi)
- Tony Hoare (de)
- Tony Hoare (eu)
- Tony Hoare (nl)
- アントニー・ホーア (ja)
- 東尼·霍爾 (zh)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- (fr)
- Charles Antony Richard Hoare (fr)
- (fr)
- Charles Antony Richard Hoare (fr)
|
is dbo:developer
of | |
is dbo:discoverer
of | |
is dbo:namedAfter
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |