Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Tony_Hoare> ?p ?o }
- Tony_Hoare abstract "Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.".
- Tony_Hoare alias "Sir Tony Hoare".
- Tony_Hoare almaMater Merton_College,_Oxford.
- Tony_Hoare almaMater Moscow_State_University.
- Tony_Hoare award Computer_History_Museum.
- Tony_Hoare award Computer_Pioneer_Award.
- Tony_Hoare award Faraday_Medal.
- Tony_Hoare award Harry_H._Goode_Memorial_Award.
- Tony_Hoare award IEEE_John_von_Neumann_Medal.
- Tony_Hoare award Kyoto_Prize.
- Tony_Hoare award Royal_Academy_of_Engineering.
- Tony_Hoare award Royal_Society.
- Tony_Hoare award Turing_Award.
- Tony_Hoare birthDate "1934-01-11".
- Tony_Hoare birthName "Charles Antony Richard Hoare".
- Tony_Hoare birthPlace Colombo.
- Tony_Hoare birthPlace Sri_Lanka.
- Tony_Hoare birthYear "1934".
- Tony_Hoare doctoralStudent Augusto_Sampaio.
- Tony_Hoare doctoralStudent Bill_Roscoe.
- Tony_Hoare doctoralStudent Cliff_Jones_(computer_scientist).
- Tony_Hoare field Computer_science.
- Tony_Hoare knownFor Communicating_sequential_processes.
- Tony_Hoare knownFor Hoare_logic.
- Tony_Hoare knownFor Quicksort.
- Tony_Hoare knownFor Structured_programming.
- Tony_Hoare residence Cambridge.
- Tony_Hoare thumbnail Sir_Tony_Hoare_IMG_5125.jpg?width=300.
- Tony_Hoare wikiPageExternalLink 102658017-05-01-acc.pdf.
- Tony_Hoare wikiPageExternalLink www.usingcsp.com.
- Tony_Hoare wikiPageExternalLink citation.cfm?id=361161&dl=GUIDE&coll=GUIDE&CFID=81258100&CFTOKEN=30312375.
- Tony_Hoare wikiPageExternalLink 107362.
- Tony_Hoare wikiPageExternalLink thoare.
- Tony_Hoare wikiPageExternalLink 102658017.
- Tony_Hoare wikiPageExternalLink tony.hoare.
- Tony_Hoare wikiPageID "39434".
- Tony_Hoare wikiPageLength "18091".
- Tony_Hoare wikiPageOutDegree "142".
- Tony_Hoare wikiPageRevisionID "678299896".
- Tony_Hoare wikiPageWikiLink ACM_Turing_Award.
- Tony_Hoare wikiPageWikiLink ALGOL.
- Tony_Hoare wikiPageWikiLink ALGOL_W.
- Tony_Hoare wikiPageWikiLink ALGOL_programming_language.
- Tony_Hoare wikiPageWikiLink Academic_Press.
- Tony_Hoare wikiPageWikiLink Algorithm.
- Tony_Hoare wikiPageWikiLink Andrey_Kolmogorov.
- Tony_Hoare wikiPageWikiLink Andrey_Nikolayevich_Kolmogorov.
- Tony_Hoare wikiPageWikiLink Athens_University_of_Economics_and_Business.
- Tony_Hoare wikiPageWikiLink Augusto_Sampaio.
- Tony_Hoare wikiPageWikiLink Augusto_Sampaio_(computer_scientist).
- Tony_Hoare wikiPageWikiLink Autocode.
- Tony_Hoare wikiPageWikiLink Axiom.
- Tony_Hoare wikiPageWikiLink Bill_Roscoe.
- Tony_Hoare wikiPageWikiLink British_Council.
- Tony_Hoare wikiPageWikiLink Cambridge.
- Tony_Hoare wikiPageWikiLink Canterbury.
- Tony_Hoare wikiPageWikiLink Category:1934_births.
- Tony_Hoare wikiPageWikiLink Category:Academics_of_Queens_University_Belfast.
- Tony_Hoare wikiPageWikiLink Category:Alumni_of_Merton_College,_Oxford.
- Tony_Hoare wikiPageWikiLink Category:British_computer_scientists.
- Tony_Hoare wikiPageWikiLink Category:British_expatriates_in_Sri_Lanka.
- Tony_Hoare wikiPageWikiLink Category:British_expatriates_in_the_Soviet_Union.
- Tony_Hoare wikiPageWikiLink Category:Computer_science_writers.
- Tony_Hoare wikiPageWikiLink Category:Fellows_of_Wolfson_College,_Oxford.
- Tony_Hoare wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Tony_Hoare wikiPageWikiLink Category:Fellows_of_the_Royal_Academy_of_Engineering.
- Tony_Hoare wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Tony_Hoare wikiPageWikiLink Category:Formal_methods_people.
- Tony_Hoare wikiPageWikiLink Category:Knights_Bachelor.
- Tony_Hoare wikiPageWikiLink Category:Living_people.
- Tony_Hoare wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Tony_Hoare wikiPageWikiLink Category:Microsoft_employees.
- Tony_Hoare wikiPageWikiLink Category:Moscow_State_University_alumni.
- Tony_Hoare wikiPageWikiLink Category:People_educated_at_The_Dragon_School.
- Tony_Hoare wikiPageWikiLink Category:People_educated_at_The_Kings_School,_Canterbury.
- Tony_Hoare wikiPageWikiLink Category:People_from_Colombo.
- Tony_Hoare wikiPageWikiLink Category:Programming_language_researchers.
- Tony_Hoare wikiPageWikiLink Category:Turing_Award_laureates.
- Tony_Hoare wikiPageWikiLink Charles_Babbage_Institute.
- Tony_Hoare wikiPageWikiLink Christopher_Strachey.
- Tony_Hoare wikiPageWikiLink Civil_servant.
- Tony_Hoare wikiPageWikiLink Civil_service.
- Tony_Hoare wikiPageWikiLink Cliff_Jones_(computer_scientist).
- Tony_Hoare wikiPageWikiLink Colombo.
- Tony_Hoare wikiPageWikiLink Communicating_Sequential_Processes.
- Tony_Hoare wikiPageWikiLink Communicating_sequential_processes.
- Tony_Hoare wikiPageWikiLink Communications_of_the_ACM.
- Tony_Hoare wikiPageWikiLink Complutense_University_of_Madrid.
- Tony_Hoare wikiPageWikiLink Computer_History_Museum.
- Tony_Hoare wikiPageWikiLink Computer_Pioneer_Award.
- Tony_Hoare wikiPageWikiLink Computer_science.
- Tony_Hoare wikiPageWikiLink Concurrency_(computer_science).
- Tony_Hoare wikiPageWikiLink Concurrent_process.
- Tony_Hoare wikiPageWikiLink Conscription_in_the_United_Kingdom.
- Tony_Hoare wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Tony_Hoare wikiPageWikiLink Dining_philosophers_problem.
- Tony_Hoare wikiPageWikiLink Dragon_School.
- Tony_Hoare wikiPageWikiLink EPFL.
- Tony_Hoare wikiPageWikiLink Edsger_Dijkstra.
- Tony_Hoare wikiPageWikiLink Edsger_W._Dijkstra.