Comments on: Happy Birthday Tony Hoare

by: IT-eye » Soa and Agility

Fri, 25 Jan 2008 15:13:39 +0000

[…] Recently Rod Johnson wrote a blog entry about Hoare: Happy Birthday Tony Hoare. One of the things Rod mentions about Hoare is that he warned about the complexity of software systems. Rod argues that this can be seen as an early warning against the complexity of J2EE. […]

by: DoktaTowell

Wed, 16 Jan 2008 22:42:28 +0000

I ran across the following quote from C.A.R. Hoare's 1980 ACM Turing Award Lecture [http://www.braithwaite-lee.com/opinions/p75-hoare.pdf]

"Just recently, I have discovered that an early advocate of the assertional method of program proving was none other than Alan Turing himself. On June 24, 1950 at a conference in Cambridge, he gave a short talk entitled, "Checking a Large Routine" which explains the idea with great clarity. "How can one check a large routine in the sense of making sure that it's right? In order that the
man who checks may not have too difficult a task, the programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole program easily follows." [p. 6 - right column]

The original Turing paper is online at:
http://www.turingarchive.org/browse.php/B/8

by: Ben Hale

Wed, 16 Jan 2008 16:10:10 +0000

Fixed now.

by: Stefan Kleineikenscheidt

Tue, 15 Jan 2008 21:10:56 +0000

The link to "The Emperor's Old Clothes" (third paragraph) does not work.

-Stefan