Bringing order to the separation logic jungle
The work
| Title | Bringing order to the separation logic jungle |
|---|---|
| Authors | Qinxiang Cao; Santiago Cuellar; Andrew W. Appel |
| Type | conference paper |
| Year | 2017 |
| Citekey | cao2017bringing |
Where it appeared
| Published in | 15th Asian Symposium on Programming Languages and Systems (APLAS) |
|---|---|
| Publisher | Springer |
| Pages | 190--211 |
Copy held
| Kind | PDF, 415.7 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
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-08 |
Cite it as
@inproceedings{cao2017bringing,
title = {Bringing order to the separation logic jungle},
author = {Qinxiang Cao and Santiago Cuellar and Andrew W. Appel},
year = {2017},
booktitle = {15th Asian Symposium on Programming Languages and Systems (APLAS)},
pages = {190--211},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/cao2017bringing/ and will keep doing so.