Symbolic Execution with Separation Logic
The work
| Title | Symbolic Execution with Separation Logic |
|---|---|
| Authors | Josh Berdine; Cristiano Calcagno; Peter W. O'Hearn |
| Type | conference paper |
| Year | 2005 |
| Citekey | berdine2005symbolic |
Where it appeared
| Published in | Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings |
|---|---|
| Publisher | Springer |
| Volume | 3780 |
| Pages | 52--68 |
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{berdine2005symbolic,
title = {Symbolic Execution with Separation Logic},
author = {Josh Berdine and Cristiano Calcagno and Peter W. O'Hearn},
year = {2005},
booktitle = {Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
volume = {3780},
pages = {52--68},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/berdine2005symbolic/ and will keep doing so.