30 Jun
2016
30 Jun
'16
8:28 p.m.
I assumed by 1980 that Rule 1 (program security) was an obvious given. Alas, no.
On 30Jun 2016, at 9:44 AM, Noel Chiappa
<jnc(a)mercury.lcs.mit.edu> wrote:
One of many, apparently, given Hoare's incredible classic "The Emperor's
Old
Clothes":
http://zoo.cs.yale.edu/classes/cs422/2014/bib/hoare81emperor.pdf
(which should be required reading for every CS student).
Noel