Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
The work
| Authors | Jan A. Bergstra; John V. Tucker |
|---|---|
| Editors | |
| Type | article |
| Year | 1982 |
| Citekey | bergstra1982some |
Where it appeared
| Published in | Theoretical Computer Science |
|---|---|
| Volume | 17 |
| Issue | 3 |
| Pages | 303--315 |
Identifiers
| DOI | 10.1016/0304-3975(82)90027-5 |
|---|
Settled
| Abstract | Established by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract: the venue prints none for this paper." This settle puts that finding where the queue can see it. |
|---|
A copy is held
pdf, 1.4 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-14 11:33 UTC |
Filed under
Cite it as
@article{bergstra1982some,
title = {Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs},
author = {Jan A. Bergstra and John V. Tucker},
year = {1982},
journal = {Theoretical Computer Science},
volume = {17},
number = {3},
pages = {303--315},
doi = {10.1016/0304-3975(82)90027-5},
}
This record lives at https://refs.drheap.org/bergstra1982some/ and will keep doing so.