Proving assertions about programs that manipulate data structures
The work
| Authors | Derek C. Oppen; Stephen A. Cook |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1975 |
| Citekey | oppen1975proving |
Where it appeared
| Published in | 7th ACM Symposium on Theory of Computing |
|---|---|
| Pages | 107--116 |
Identifiers
| DOI | 10.1145/800116.803758 |
|---|
Settled
| Abstract | carried over from `abstract_absent` at the 1.0 migration |
|---|
Related
| Distinct from | cook1975assertion |
|---|
A copy is held
pdf, 798.7 kB. 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-24 07:30 UTC |
Filed under
Cite it as
@inproceedings{oppen1975proving,
title = {Proving assertions about programs that manipulate data structures},
author = {Derek C. Oppen and Stephen A. Cook},
year = {1975},
booktitle = {7th ACM Symposium on Theory of Computing},
pages = {107--116},
doi = {10.1145/800116.803758},
}
This record lives at https://refs.drheap.org/oppen1975proving/ and will keep doing so.