A Primer on Separation Logic (and Automatic Program Verification and Analysis)
The work
| Title | A Primer on Separation Logic (and Automatic Program Verification and Analysis) |
|---|---|
| Authors | Peter W. O'Hearn |
| Type | chapter in a collection |
| Year | 2012 |
| Citekey | ohearn2012primer |
Where it appeared
| Published in | Software Safety and Security: Tools for Analysis and Verification |
|---|---|
| Publisher | IOS Press |
| Pages | 286--318 |
Identifiers
| OpenAlex | W2396349698 |
|---|
Access
| Landing page | https://dblp.uni-trier.de/db/series/natosec/natosec33.html#OHearn12 |
|---|
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@incollection{ohearn2012primer,
title = {A Primer on Separation Logic (and Automatic Program Verification and Analysis)},
author = {Peter W. O'Hearn},
year = {2012},
booktitle = {Software Safety and Security: Tools for Analysis and Verification},
pages = {286--318},
publisher = {IOS Press},
url = {https://dblp.uni-trier.de/db/series/natosec/natosec33.html#OHearn12},
}
This record lives at https://refs.drheap.org/ohearn2012primer/ and will keep doing so.