| dbo:academicDiscipline
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
| - Charles Antony Richard Hoare (en)
|
| dbo:birthPlace
| |
| dbo:description
| - United Kingdom karimba ŋun nyɛ doo (dag)
- סופר בריטי (iw)
- ލިޔުންތެރިއެއް (dv)
- British computer scientist (en)
- دانشمند علوم کامپیوتر و مهندس بریتانیایی (fa)
- britisk ingeniør og informatikar (nn)
- britisk ingeniør og informatiker (da)
- brittiläinen tietojenkäsittelytieteilijä (fi)
- informático teórico del Reino Unido (es)
- ríomheolaí Briotanach (ga)
- İngiliz bilgisayar uzmanı (tr)
- британский учёный (ru)
- informaticien britannique (fr)
- brittisk ingenjör och datavetare (sv)
- informatico britannico (it)
- Britaniyalı kompyuter alimi (az)
- brita komputikisto (eo)
- britský počítačový vědec (cs)
- brytyjski informatyk (pl)
- informàtic britànic (ca)
- Βρετανός επιστήμονας υπολογιστών (el)
- কম্পিউটার বিজ্ঞানী (bn)
- Британський вчений (uk)
- عالم حاسوب بريطاني (ar)
- مبرمج من المملكه المتحده (arz)
- イギリスの計算機科学者(1934-) (ja)
- britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls (de)
- Een Brits informaticus die het sorteeralgoritme quicksort heeft uitgevonden (nl)
|
| dbo:doctoralStudent
| |
| dbo:knownFor
| |
| dbo:spouse
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| - dbr:ALGOL_W
- dbr:Conscription_in_the_United_Kingdom
- dbc:Living_people
- dbr:Cambridge
- dbr:England
- dbr:Sri_Lanka
- dbr:SIGPLAN
- dbr:ALGOL_68
- dbr:Algorithm
- dbr:Colombo
- dbr:Complutense_University_of_Madrid
- dbr:Computer_History_Museum
- dbr:Computer_Pioneer_Award
- dbr:Computer_science
- dbr:Edsger_W._Dijkstra
- dbr:Fellow_of_the_Royal_Society
- dbr:Harry_H._Goode_Memorial_Award
- dbr:Information_science
- dbr:Knight_Bachelor
- dbr:Microsoft_Research
- dbr:Moscow_State_University
- dbr:Mountain_View,_California
- dbr:Operating_system
- dbr:Oxford
- dbr:Professor
- dbr:Programming_language
- dbr:Royal_Navy
- dbr:Soviet_Union
- dbr:Turing_Award
- dbr:University_of_Warsaw
- dbr:British_Ceylon
- dbr:The_King's_School,_Canterbury
- dbr:University_of_Bath
- dbr:Academic_Press
- dbr:IFIP_Working_Group_2.1
- dbc:Computer_science_writers
- dbr:Andrey_Kolmogorov
- dbr:Queen's_University_Belfast
- dbr:Technical_University_of_Munich
- dbr:University_of_Oxford
- dbr:Axiom
- dbr:Canterbury
- dbr:Computer_scientist
- dbr:Formal_verification
- dbr:IEEE_John_von_Neumann_Medal
- dbr:Kyoto_Prize
- dbr:Nashville,_Tennessee
- dbr:National_Academy_of_Engineering
- dbr:Statistics
- dbr:Dining_philosophers_problem
- dbr:Prentice_Hall
- dbr:Fellow
- dbr:Machine_translation
- dbr:Merton_College,_Oxford
- dbr:Royal_Academy_of_Engineering
- dbr:Concurrency_(computer_science)
- dbr:Programming_Research_Group
- dbr:ALGOL_60
- dbr:British_Council
- dbr:Computer_programming
- dbr:Sorting_algorithm
- dbr:Kellogg_College,_Oxford
- dbr:Department_of_Computer_Science,_University_of_Oxford
- dbr:Autocode
- dbr:Athens_University_of_Economics_and_Business
- dbr:Communicating_sequential_processes
- dbr:Heriot-Watt_University
- dbr:Leslie_Fox
- dbr:Bill_Roscoe
- dbr:Christopher_Strachey
- dbr:Cliff_Jones_(computer_scientist)
- dbr:Concurrent_computing
- dbr:Hoare_logic
- dbr:International_Federation_for_Information_Processing
- dbr:Monitor_(synchronization)
- dbr:Null_pointer
- dbr:Occam_(programming_language)
- dbr:Quickselect
- dbr:Quicksort
- dbr:Structured_programming
- dbr:Z_notation
- dbr:Communications_of_the_ACM
- dbr:International_standard
- dbc:1934_births
- dbr:ALGOL
- dbc:Academics_of_Queen's_University_Belfast
- dbc:Alumni_of_Merton_College,_Oxford
- dbr:Civil_servant
- dbr:Axiomatic_semantics
- dbr:Dragon_School
- dbr:Elliott_Brothers_(computer_company)
- dbr:Correctness_(computer_science)
- dbr:Specification_(technical_standard)
- dbr:2000_New_Year_Honours
- dbr:Ferranti_Mercury
- dbc:Moscow_State_University_alumni
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbc:Fellows_of_the_Royal_Society
- dbc:Microsoft_employees
- dbc:British_computer_scientists
- dbc:British_expatriates_in_Sri_Lanka
- dbc:British_expatriates_in_the_Soviet_Union
- dbc:Turing_Award_laureates
- dbc:Knights_Bachelor
- dbc:Programming_language_researchers
- dbc:Fellows_of_Merton_College,_Oxford
- dbc:Fellows_of_Wolfson_College,_Oxford
- dbc:Fellows_of_the_British_Computer_Society
- dbc:Fellows_of_the_Royal_Academy_of_Engineering
- dbc:Formal_methods_people
- dbc:Foreign_associates_of_the_National_Academy_of_Sciences
- dbc:Kyoto_laureates_in_Advanced_Technology
- dbc:People_educated_at_The_Dragon_School
- dbc:People_educated_at_The_King's_School,_Canterbury
- dbc:People_from_Colombo
- dbc:History_of_computing_in_the_United_Kingdom
- dbr:Communicating_Sequential_Processes
- dbr:Programming_languages
- dbr:Augusto_Sampaio_(computer_scientist)
- dbr:DFBCS
- dbr:Faraday_Medal
- dbr:Oxford_University_Computing_Laboratory
- dbr:Queen's_University_of_Belfast
- dbr:Literae_Humaniores
- dbr:Concurrent_process
|
| dbp:birthDate
| |
| dbp:birthName
| - Charles Antony Richard Hoare (en)
|
| dbp:birthPlace
| |
| dbp:caption
| |
| dbp:cc
| |
| dbp:children
| |
| dbp:date
| |
| dbp:doctoralStudents
| - (en)
- Augusto Sampaio (en)
- Bill Roscoe (en)
- Cliff Jones (en)
|
| dbp:field
| |
| dbp:knownFor
| - (en)
- ALGOL (en)
- Structured programming (en)
- Quicksort (en)
- Communicating sequential processes (en)
- Hoare logic (en)
- Quickselect (en)
- Null reference (en)
|
| dbp:name
| |
| dbp:prizes
| - dbr:Turing_Award
- (en)
- Kyoto Prize (en)
- IEEE John von Neumann Medal (en)
- Royal Medal (en)
- Harry H. Goode Memorial Award (en)
- Computer Pioneer Award (en)
- Faraday Medal (en)
|
| dbp:spouse
| |
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workInstitution
| - (en)
- University of Oxford (en)
- Queen's University Belfast (en)
- Moscow State University (en)
- Microsoft Research (en)
- Elliott Brothers (en)
|
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
| - Tony Hoare (en)
- C. A. R. Hoare (ca)
- C. A. R. Hoare (cs)
- Τόνι Χορ (el)
- Tony Hoare (eo)
- Tony Hoare (de)
- توني هور (ar)
- Tony Hoare (eu)
- C. A. R. Hoare (es)
- Charles Antony Richard Hoare (fr)
- Tony Hoare (it)
- C.A.R. Hoare (in)
- アントニー・ホーア (ja)
- 토니 호어 (ko)
- Tony Hoare (nl)
- C.A.R. Hoare (pl)
- Charles Antony Richard Hoare (pt)
- Хоар, Чарльз Энтони Ричард (ru)
- Тоні Гоар (uk)
- 東尼·霍爾 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:author
of | |
| is dbo:doctoralAdvisor
of | |
| is dbo:spouse
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | - dbr:Producer–consumer_problem
- dbr:History_of_the_Scheme_programming_language
- dbr:ALGOL_W
- dbr:Semantics
- dbr:Department_of_Informatics,_University_of_Oslo
- dbr:List_of_Dutch_inventions_and_innovations
- dbr:Actor_model_and_process_calculi
- dbr:List_of_programming_language_researchers
- dbr:Wolfson_College,_Oxford
- dbr:SIGPLAN
- dbr:Alan_Turing_Centenary_Conference
- dbr:An_Officer_and_a_Car_Salesman
- dbr:ALGOL_68
- dbr:Compiler
- dbr:Computer_History_Museum
- dbr:Computer_science
- dbr:Edsger_W._Dijkstra
- dbr:Stanford_University
- dbr:Turing_Award
- dbr:IFIP_Working_Group_2.1
- dbr:Jim_Woodcock
- dbr:Program_optimization
- dbr:Echaskech
- dbr:Pascal_(programming_language)
- dbr:Queen's_University_Belfast
- dbr:University_of_Oxford
- dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
- dbr:Semantics_(computer_science)
- dbr:Dining_philosophers_problem
- dbr:Interference_freedom
- dbr:Exception_handling
- dbr:Merton_College,_Oxford
- dbr:Zhou_Chaochen
- dbr:Multi-key_quicksort
- dbr:1960s
- dbr:ALGOL_60
- dbr:Richard_Waldinger
- dbr:Kellogg_College,_Oxford
- dbr:Department_of_Computer_Science,_University_of_Oxford
- dbr:Elliott_ALGOL
- dbr:S-algol
- dbr:David_Pentecost
- dbr:Communicating_sequential_processes
- dbr:Darwin_College,_Cambridge
- dbr:Actor_model
- dbr:Augusto_Sampaio
- dbr:Calculus_of_communicating_systems
- dbr:Cliff_Jones_(computer_scientist)
- dbr:David_May_(computer_scientist)
- dbr:Hoare_logic
- dbr:Jonathan_Bowen
- dbr:Null_pointer
- dbr:Occam_(programming_language)
- dbr:Per_Brinch_Hansen
- dbr:Peter_Landin
- dbr:Pipeline_(Unix)
- dbr:Quickselect
- dbr:Quicksort
- dbr:Structured_programming
- dbr:Whiley_(programming_language)
- dbr:List_of_pioneers_in_computer_science
- dbr:Ernst-Rüdiger_Olderog
- dbr:ITMO_University
- dbr:List_of_Old_King's_Scholars
- dbr:He_Jifeng
- dbr:Jayadev_Misra
- dbr:Paritosh_Pandya
- dbr:ALGOL
- dbr:Chalfont_Road
- dbr:John_Barnes_(computer_scientist)
- dbr:List_of_Queen's_University_Belfast_people
- dbr:Quasi-delay-insensitive_circuit
- dbr:Software_crisis
- dbr:Summer_School_Marktoberdorf
- dbr:List_of_London's_Burning_episodes
- dbr:BCS-FACS
- dbr:Eric_Hehner
- dbr:Dragon_School
- dbr:Elliott_Brothers_(computer_company)
- dbr:Unbounded_nondeterminism
- dbr:List_of_people_by_Erdős_number
- dbr:Programming_language_theory
- dbr:Linear_logic
- dbr:Peter_O'Hearn
- dbr:Banbury_Road
- dbr:Separation_logic
- dbr:Roland_Carl_Backhouse
- dbr:Turing_Institute
- dbr:COSBI
- dbr:CICS
- dbr:Anders_P._Ravn
- dbr:List_of_programmers
- dbr:Prentice_Hall_International_Series_in_Computer_Science
- dbr:Coding_best_practices
- dbr:Jim_Davies_(computer_scientist)
- dbr:List_of_fellows_of_the_Royal_Society_elected_in_1982
- dbr:Hoare
- dbr:C._A._R._Hoare
- dbr:Actor_model_and_process_calculi_history
- dbr:List_of_important_publications_in_theoretical_computer_science
- dbr:IFIP_Working_Group_2.3
- dbr:List_of_important_publications_in_computer_science
- dbr:Charles_A._R._Hoare
- dbr:Charles_Antony_Richard_Hoare
- dbr:List_of_Honorary_Fellows_of_Darwin_College,_Cambridge
- dbr:Anthony_Hoare
- dbr:Antony_Hoare
- dbr:C.A.R._Hoare
- dbr:C._A.R._Hoare
- dbr:C._Anthony_R._Hoare
- dbr:C._Antony_R._Hoare
- dbr:C._Hoare
- dbr:CARH
- dbr:CAR_Hoare
- dbr:C_A_R_Hoare
- dbr:List_of_Honorary_Fellows_of_Merton_College,_Oxford
- dbr:Sir_Antony_Hoare
- dbr:Sir_Charles_Antony_Richard_Hoare
- dbr:List_of_Wolfson_College,_Oxford,_people
|
| is dbp:author
of | |
| is dbp:designers
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:patrons
of | |
| is dbp:spouse
of | |
| is dbp:writer
of | |
| is foaf:primaryTopic
of | |
