Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 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 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 Harry_H._Goode_Memorial_Award.
• 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 British_Ceylon.
• Tony_Hoare birthPlace Colombo.
• Tony_Hoare birthPlace Sri_Lanka.
• Tony_Hoare birthYear "1934".
• Tony_Hoare doctoralStudent Augusto_Sampaio_(computer_scientist).
• Tony_Hoare doctoralStudent Bill_Roscoe.
• Tony_Hoare doctoralStudent Cliff_Jones_(computer_scientist).
• Tony_Hoare field Computer_scientist.
• Tony_Hoare knownFor Communicating_sequential_processes.
• Tony_Hoare knownFor Hoare_logic.
• Tony_Hoare knownFor Quicksort.
• Tony_Hoare lccnId "n/84/148204".
• Tony_Hoare residence Cambridge.
• Tony_Hoare thumbnail Sir_Tony_Hoare_IMG_5125.jpg?width=300.
• Tony_Hoare viafId "108123782".
• Tony_Hoare wikiPageExternalLink 102658017-05-01-acc.pdf.
• 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 wikiPageExternalLink www.usingcsp.com.
• Tony_Hoare wikiPageID "39434".
• Tony_Hoare wikiPageRevisionID "604739559".
• Tony_Hoare almaMater "* Merton College, Oxford * Moscow State University".
• Tony_Hoare alternativeNames "Sir Tony Hoare".
• Tony_Hoare birthDate "1934-01-11".
• Tony_Hoare birthName "Charles Antony Richard Hoare".
• Tony_Hoare birthPlace British_Ceylon.
• Tony_Hoare birthPlace Colombo.
• Tony_Hoare caption "--06-20".
• Tony_Hoare dateOfBirth "1934-01-11".
• Tony_Hoare doctoralStudents "* Andrew P. Black * Stephen Brookes * Cliff Jones * Augusto Sampaio * David Naumann * Bill Roscoe * William Stewart".
• Tony_Hoare field Computer_scientist.
• Tony_Hoare hasPhotoCollection Tony_Hoare.
• Tony_Hoare knownFor "* Quicksort * Hoare logic * Communicating Sequential Processes".
• Tony_Hoare lccn "n/84/148204".
• Tony_Hoare name "Hoare, Charles Antony Richard".
• Tony_Hoare name "Tony Hoare".
• Tony_Hoare placeOfBirth Colombo.
• Tony_Hoare placeOfBirth Sri_Lanka.
• Tony_Hoare prizes "* ACM Turing Award * Harry H. Goode Memorial Award * FRS".
• Tony_Hoare residence Cambridge.
• Tony_Hoare shortDescription "Computer scientist".
• Tony_Hoare viaf "108123782".
• Tony_Hoare workInstitution "* Elliott Brothers * Queen's University Belfast * University of Oxford * Moscow State University * Microsoft Research".
• Tony_Hoare description "Computer scientist".
• Tony_Hoare description "Computer scientist".
• Tony_Hoare subject Category:1934_births.
• Tony_Hoare subject Category:Academics_of_Queen's_University_Belfast.
• Tony_Hoare subject Category:Alumni_of_Merton_College,_Oxford.
• Tony_Hoare subject Category:British_computer_scientists.
• Tony_Hoare subject Category:British_expatriates_in_Sri_Lanka.
• Tony_Hoare subject Category:British_expatriates_in_the_Soviet_Union.
• Tony_Hoare subject Category:Computer_science_writers.
• Tony_Hoare subject Category:Fellows_of_Wolfson_College,_Oxford.
• Tony_Hoare subject Category:Fellows_of_the_British_Computer_Society.
• Tony_Hoare subject Category:Fellows_of_the_Royal_Academy_of_Engineering.
• Tony_Hoare subject Category:Fellows_of_the_Royal_Society.
• Tony_Hoare subject Category:Formal_methods_people.
• Tony_Hoare subject Category:Knights_Bachelor.
• Tony_Hoare subject Category:Living_people.
• Tony_Hoare subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
• Tony_Hoare subject Category:Microsoft_employees.
• Tony_Hoare subject Category:Moscow_State_University_alumni.
• Tony_Hoare subject Category:People_from_Colombo.
• Tony_Hoare subject Category:Programming_language_researchers.
• Tony_Hoare subject Category:Turing_Award_laureates.
• Tony_Hoare type Absentee109757653.
• Tony_Hoare type Academician109759069.
• Tony_Hoare type AcademicsOfQueen'sUniversityBelfast.
• Tony_Hoare type Acquirer109764201.
• Tony_Hoare type Adult109605289.
• Tony_Hoare type AlumniOfMertonCollege,Oxford.
• Tony_Hoare type Alumnus109786338.
• Tony_Hoare type Associate109816771.
• Tony_Hoare type BritishComputerScientists.
• Tony_Hoare type BritishExpatriatesInSriLanka.
• Tony_Hoare type CausalAgent100007347.
• Tony_Hoare type Colleague109935990.
• Tony_Hoare type Communicator109610660.
• Tony_Hoare type ComputerPioneers.
• Tony_Hoare type ComputerScienceWriters.
• Tony_Hoare type ComputerScientist109951070.
• Tony_Hoare type ComputerUser109951274.
• Tony_Hoare type Creator109614315.
• Tony_Hoare type Educator110045713.
• Tony_Hoare type Employee110053808.
• Tony_Hoare type Exile110071332.
• Tony_Hoare type FellowsOfTheBritishComputerSociety.
• Tony_Hoare type FellowsOfTheRoyalAcademyOfEngineering.

• next