Hacker News
- Retrospective: An Axiomatic Basis for Computer Programming https://dl.acm.org/doi/pdf/10.1145/1562764.1562779 6 comments
- An Axiomatic Basis for Computer Programming (1969) [pdf] http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/hoare_axiomatic.pdf 16 comments
- Retrospective: An Axiomatic Basis for Computer Programming http://cacm.acm.org/magazines/2009/10/42360-retrospective-an-axiomatic-basis-for-computer-programming/fulltext?lot=49 8 comments programming
Lambda the Ultimate
- Retrospective: An Axiomatic Basis for Computer Programming http://cacm.acm.org/magazines/2009/10/42360-retrospective-an-axiomatic-basis-for-computer-programming/fulltext 2 comments History
- An Axiomatic Basis for Computer Programming http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf 0 comments Semantics