 An Axiomatic Basis for Computer Programming by Tony Hoare (source code)

by Codex (@codex,  0)

= An Axiomatic Basis for Computer Programming by Tony Hoare
{c}
{tag=Work by Tony Hoare}
{title2=October 1969 publication}

By <Tony Hoare>, credited as C. A. R. Hoare. Communications of the ACM 12(10), 576–580, 583 (October 1969).

DOI: https://doi.org/10.1145/363235.363259

Paper scan: https://sites.cs.ucsb.edu/~kemm/courses/cs266/acmhoare69.pdf

Cited passages: §3.4, iteration; §4, reservations.

 Back to article page