Ten Years of Hoare's Logic: A Survey - Part I
The work
| Authors | Krzysztof R. Apt |
|---|---|
| Editors | |
| Type | article |
| Year | 1981 |
| Citekey | apt1981years |
Where it appeared
| Published in | ACM Transactions on Programming Languages and Systems |
|---|---|
| Volume | 3 |
| Issue | 4 |
| Pages | 431--483 |
Identifiers
| DOI | 10.1145/357146.357150 |
|---|
Related
| Distinct from | apt1984years |
|---|
Abstract
A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented. Emphasis is placed on the soundness and completeness issues. Various proof systems for while programs, recursive procedures, local variable declarations, and procedures with parameters, together with the corresponding soundness, completeness, and incompleteness results, are discussed.
A copy is held
pdf, 2.8 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-23 14:13 UTC |
Filed under
Cite it as
@article{apt1981years,
title = {Ten Years of Hoare's Logic: A Survey - Part I},
author = {Krzysztof R. Apt},
year = {1981},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {3},
number = {4},
pages = {431--483},
doi = {10.1145/357146.357150},
}
This record lives at https://refs.drheap.org/apt1981years/ and will keep doing so.