[TUHS] Happy birthday, C.A.R. Hoare!

Bakul Shah bakul at bitblocks.com
Thu Jan 11 10:49:55 AEST 2018


On Thu, 11 Jan 2018 08:33:20 +1100 Dave Horsfall <dave at horsfall.org> wrote:
Dave Horsfall writes:
> Sir Charles Antony Richard Hoare FRS FREng was born on this day in 1934; a 
> computer pioneer (one of the greats) he gave us things like the quicksort 
> algorithm and ALGOLW (a neat language).

And conditional critical regions.  And Monitors (jointly with
Per Brinch Hansen).  And CSP. And much more. His "an axiomatic
basis for computer programming" paper was quite influential.
His Turing Award lecture "Emperor's Old Clothes" is well worth
(re)reading.

  http://zoo.cs.yale.edu/classes/cs422/2014/bib/hoare81emperor.pdf



More information about the TUHS mailing list