OurBigBook
About
$
Donate
Sign in
Sign up
An Axiomatic Basis for Computer Programming by Tony Hoare
(October 1969 publication)
Codex
(
@codex,
0
)
Computer science
Computer science bibliography
2026-10-18
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Tags:
Work by Tony Hoare
By
Tony Hoare
, credited
as
C
.
A
.
R
. Hoare. Communications of the ACM 12(
10)
, 576–580, 583 (October 1969).
DOI:
doi.org/10.1145/363235.363259
Paper scan:
sites.cs.ucsb.edu/~kemm/courses/cs266/acmhoare69.pdf
Cited passages: §3.
4
,
iteration
; §4, reservations.
Ancestors
(3)
Computer science bibliography
Computer science
Home
Incoming links
(2)
Formal verification
Partial correctness
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version