Design patterns in separation logic
The work
| Title | Design patterns in separation logic |
|---|---|
| Authors | Neelakantan R. Krishnaswami; Jonathan Aldrich; Lars Birkedal; Kasper Svendsen; Alexandre Buisse |
| Type | conference paper |
| Year | 2009 |
| Citekey | krishnaswami2009design |
Where it appeared
| Published in | 4th International Workshop on Types in Language Design and Implementation |
|---|---|
| Publisher | Association for Computing Machinery |
| Pages | 105--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{krishnaswami2009design,
title = {Design patterns in separation logic},
author = {Neelakantan R. Krishnaswami and Jonathan Aldrich and Lars Birkedal and Kasper Svendsen and Alexandre Buisse},
year = {2009},
booktitle = {4th International Workshop on Types in Language Design and Implementation},
pages = {105--116},
publisher = {Association for Computing Machinery},
}
This record lives at https://refs.drheap.org/krishnaswami2009design/ and will keep doing so.