4 ms·
Ok, maybe you can help settle this for me. I know that phrasing appears in EWD1175, but years ago I came across this[1] which claims it was originally a handwri
by lostphilosopher 8y ago
Ok, maybe you can help settle this for me. I know that phrasing appears in EWD1175, but years ago I came across this[1] which claims it was originally a handwritten annotation to EWD498. So that's how I've always cited it (I prefer Dikstra's phrasing to Hoare's.)
Some searching today found a wikiquote page[2] which led me here[3] also claiming an EWD498 handwritten annotation as the source.
Do you know definitively whether the annotation appears in EWD498?
(I thought at one time I actually found an image with the handwritten annotation, but I can't find it at the moment... Maybe I dreamed that...)
1. http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
2. https://en.wikiquote.org/wiki/Talk:Edsger_W._Dijkstra https://en.wikiquote.org/wiki/Talk:Edsger_W._Dijkstra
3. http://web.archive.org/web/200011201643/http://www.cbi.umn.edu/inv/burros/ewd498.htm http://web.archive.org/web/200011201643/http://www.cbi.umn.e...