The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A New Incompleteness Result for Hoare's System
The work
| Authors | Mitchell Wand |
|---|---|
| Editors | |
| Type | article |
| Year | 1978 |
| Citekey | wand1978incompleteness |
Where it appeared
| Published in | Journal of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 25 |
| Issue | 1 |
| Pages | 168--175 |
Identifiers
| DOI | 10.1145/322047.322062 |
|---|---|
| OpenAlex | W1994586366 |
Access
| Landing page | https://doi.org/10.1145/322047.322062 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/322047.322062 |
Related
| Supersedes | wand1976incompleteness |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
There exist structures for which Hoare's formal system for partial correctness is incomplete, even ff the entire first-order theory of the structure is included among the axioms This incompleteness occurs even if attention is restricted to structures with a solvable halting problem, and to programs which always halt on the structure The implications of this result for program proving are discussed
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 09:06 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{wand1978incompleteness,
title = {A New Incompleteness Result for Hoare's System},
author = {Mitchell Wand},
year = {1978},
journal = {Journal of the ACM},
publisher = {Association for Computing Machinery},
volume = {25},
number = {1},
pages = {168--175},
doi = {10.1145/322047.322062},
}
This record lives at https://refs.drheap.org/wand1978incompleteness/ and will keep doing so.