From mboxrd@z Thu Jan  1 00:00:00 1970
From: bakul@bitblocks.com (Bakul Shah)
Date: Wed, 10 Jan 2018 16:49:55 -0800
Subject: [TUHS] Happy birthday, C.A.R. Hoare!
In-Reply-To: Your message of "Thu, 11 Jan 2018 08:33:20 +1100."
 <alpine.BSF.2.21.1801110830410.53831@aneurin.horsfall.org>
References: <alpine.BSF.2.21.1801110830410.53831@aneurin.horsfall.org>
Message-ID: <20180111005010.8309F156E523@mail.bitblocks.com>

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