11 Jan
2018
11 Jan
'18
6:49 a.m.
On Thu, 11 Jan 2018 08:33:20 +1100 Dave Horsfall <dave(a)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