An Axiomatic Basis for Computer Programming by Tony Hoare 2026-10-18
View more
By Tony Hoare, credited as C. A. R. Hoare. Communications of the ACM 12(10), 576–580, 583 (October 1969).
Cited passages: §3.4, iteration; §4, reservations.
Read the full article