About: C. A. R. Hoare

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: C. A. R. Hoare Sponge Permalink

An Entity of Type : dbkwik:resource/2OiO1HC7ZfG6sDj44TblnA==, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, one of the world's most widely used sorting algorithms. 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.

Attributes	Values
rdf:type	Scientist
rdfs:label	C. A. R. Hoare
rdfs:comment	Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, one of the world's most widely used sorting algorithms. 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.
dcterms:subject	Microsoft employees
dbkwik:microsoft/p...iPageUsesTemplate	dbkwik:resource/2yHgSAhVcwTIFnuEl-LlJQ== dbkwik:resource/gYPy5spUbTb3xCa4GjUauQ== dbkwik:resource/AQZ8ZnMxsNWI75Z-1nCoVA== dbkwik:resource/sUruwfB61PpgPe1BUExYrQ== dbkwik:resource/XByWjn6KRLe8cLcUxLjYkA== dbkwik:resource/VmjHYnyi1643mT9w_MOU4A== dbkwik:resource/NCBR1WaBtnrdMLyGhZxe5Q==
Prizes	dbkwik:resource/3launLt-7o4d_UpBJbVBcA==
Field	dbkwik:resource/PYlu9AV9DueOhD-tVNvHbw==
Birth Date	1934-01-11(xsd:date)
doctoral students	dbkwik:resource/4g64wXkRwksvoqZxksHRiw== dbkwik:resource/VDxvM9p2HwzwI35Ou-4r2Q== William Stewart David Naumann Stephen Brookes
work institution	dbkwik:resource/1VcoV-d4ugDtvSrBPBqTMA== dbkwik:resource/OsTPTRaJ7D1O3SK6ocZvqg== dbkwik:resource/ThJAGG_elIldvqwcMc30mA== dbkwik:resource/giXCShDImZ1Ew3eLeIgIcA== Microsoft Research
Name	C. A. R. Hoare Sir Charles Antony Richard Hoare
Alma mater	dbkwik:resource/1VcoV-d4ugDtvSrBPBqTMA== dbkwik:resource/giXCShDImZ1Ew3eLeIgIcA==
Birth Place	dbkwik:resource/6GYe4Wwi81jJZ_UTvR1BQQ== dbkwik:resource/7Uc37cEFghM3xVc-OmDIVw==
ID	h/Hoare:C=_A=_R=
Image width	150(xsd:integer)
Known For	dbkwik:resource/6Bhzwm8091GRDka1CBmf5A== dbkwik:resource/JgV_hgfUhhPtbiSLQR9eow== dbkwik:resource/fuM0u5tDCO-W3AY7Wwdeww==
abstract	Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, one of the world's most widely used sorting algorithms. 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.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software