3 ms·
A very impressive list. I wondered how accessable these articles are and searched for the first one. My first hit was a retrospective written by C.A.R. Hoare in
by smhenderson 11y ago
A very impressive list. I wondered how accessable these articles are and searched for the first one. My first hit was a retrospective written by C.A.R. Hoare in 2009. It too is a very interesting read. Haven't found the original though...
http://dl.acm.org/citation.cfm?doid=1562764.1562779 http://dl.acm.org/citation.cfm?doid=1562764.1562779
- albinofrenchy 11y agohttp://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf http://www.spatial.maine.edu/~worboys/processes/hoare%20axio... The title + filetype:pdf seems to find them all.
- smhenderson 11y agoAwesome, thanks! I hadn't looked too hard but now that you point out how easy it is you just gave me something to do this weekend.