by Jens Pagel, Florian Zuleger
Reference:
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsJens Pagel, Florian ZulegerLPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020 (Elvira Albert, Laura Kovács, eds.), volume 73 of EPiC Series in Computing, pages 390–408, 2020, EasyChair.
Bibtex Entry:
@inproceedings{DBLP:conf/lpar/KatelaanZ20,
author = {Jens Pagel and
Florian Zuleger},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {390--408},
publisher = {EasyChair},
year = {2020},
url = {https://easychair.org/publications/paper/VTGk},
biburl = {https://dblp.org/rec/conf/lpar/KatelaanZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}