A necessary and sufficient condition for the existence of Hoare logics
The work
| Authors | Richard J. Lipton |
|---|---|
| Type | inproceedings |
| Year | 1977 |
| Citekey | lipton1977necessary |
Where it appeared
| Published in | 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) |
|---|---|
| Publisher | IEEE |
| Pages | 1--6 |
Identifiers
| DOI | 10.1109/sfcs.1977.1 |
|---|
Access
| Landing page | https://doi.org/10.1109/sfcs.1977.1 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-08-09 00:00 UTC |
| Approved by | a person 2026-08-09 22:56 UTC |
Filed under
Cite it as
@inproceedings{lipton1977necessary,
title = {A necessary and sufficient condition for the existence of Hoare logics},
author = {Richard J. Lipton},
year = {1977},
booktitle = {18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
pages = {1--6},
publisher = {IEEE},
doi = {10.1109/sfcs.1977.1},
}
This record lives at https://refs.drheap.org/lipton1977necessary/ and will keep doing so.