Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
The work
| Title | Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction |
|---|---|
| Authors | Stéphane Demri; Morgan Deters |
| Type | article |
| Year | 2016 |
| Citekey | demri2016expressive |
Where it appeared
| Published in | ACM Transactions on Computational Logic |
|---|---|
| Volume | 17 |
| Issue | 2 |
| Pages | 12 |
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
@article{demri2016expressive,
title = {Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction},
author = {Stéphane Demri and Morgan Deters},
year = {2016},
journal = {ACM Transactions on Computational Logic},
volume = {17},
number = {2},
pages = {12},
}
This record lives at https://refs.drheap.org/demri2016expressive/ and will keep doing so.