Proving assertions about programs that manipulate data structures
The work
| Title | Proving assertions about programs that manipulate data structures |
|---|---|
| Authors | Derek C. Oppen; Stephen A. Cook |
| Type | conference paper |
| Year | 1975 |
| Citekey | oppen1975proving |
Where it appeared
| Published in | 7th ACM Symposium on Theory of Computing |
|---|---|
| Pages | 107--116 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
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},
}
This record lives at https://refs.drheap.org/oppen1975proving/ and will keep doing so.