3 ms·
What was the solution here? To learn the Elliott 503 Mark II more deeply?
by shshhdhs 7y ago
What was the solution here? To learn the Elliott 503 Mark II more deeply?
- joel_ms 7y agoGiven the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0] [0] https://en.wikipedia.org/wiki/Hoare_logic https://en.wikipedia.org/wiki/Hoare_logic
- pjmorris 7y agoOversimplifying, but quoting from the speech, that particular challenge was overcome as follows: "Thus we muddled through by common sense and compromise to something approaching success." He then discusses how the problems there led to his thinking on CSP, and, eventually, formal methods. But, go read the speech, it's much more wonderful than any summary thereof: http://zoo.cs.yale.edu/classes/cs422/2010/bib/hoare81emperor.pdf http://zoo.cs.yale.edu/classes/cs422/2010/bib/hoare81emperor...