Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
The work
| Authors | Krzysztof R. Apt |
|---|---|
| Editors | |
| Type | article |
| Year | 1984 |
| Citekey | apt1984years |
Where it appeared
| Published in | Theoretical Computer Science |
|---|---|
| Volume | 28 |
| Issue | 1-2 |
| Pages | 83--109 |
Identifiers
| DOI | 10.1016/0304-3975(83)90066-x |
|---|
Related
| Distinct from | apt1981years |
|---|
Abstract
A survey of various results concerning the use of Hoare's logic in proving correctness of nondeterministic programs is presented. Various proof systems together with the example proofs are given and the corresponding soundness and completeness proofs of the systems are discussed. Programs allowing bounded and countable nondeterminism are studied. Proof systems deal with partial and total correctness, freedom of failure and the issue of fairness. The paper is a continuation of Part I by Apt (1981), where various results concerning Hoare's approach to proving correctness of sequential programs are presented.
A copy is held
pdf, 3.5 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-12 14:58 UTC |
Filed under
Cite it as
@article{apt1984years,
title = {Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism},
author = {Krzysztof R. Apt},
year = {1984},
journal = {Theoretical Computer Science},
volume = {28},
number = {1-2},
pages = {83--109},
doi = {10.1016/0304-3975(83)90066-x},
}
This record lives at https://refs.drheap.org/apt1984years/ and will keep doing so.