Dynamic Separation Logic
The work
| Title | Dynamic Separation Logic |
|---|---|
| Authors | Frank S. de Boer; Hans-Dieter A. Hiep; Stijn de Gouw |
| Type | conference paper |
| Year | 2023 |
| Citekey | boer2023dynamic |
Where it appeared
| Published in | 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS) |
|---|---|
| Publisher | Electronic Notes in Theoretical Informatics and Computer Science |
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{boer2023dynamic,
title = {Dynamic Separation Logic},
author = {Frank S. de Boer and Hans-Dieter A. Hiep and Stijn de Gouw},
year = {2023},
booktitle = {39th Conference on the Mathematical Foundations of Programming Semantics (MFPS)},
publisher = {Electronic Notes in Theoretical Informatics and Computer Science},
}
This record lives at https://refs.drheap.org/boer2023dynamic/ and will keep doing so.