Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn. 09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. In Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv, editors, Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009. Volume 09301 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
@inproceedings{SagivPO09a,
title = {09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs},
author = {Mooly Sagiv and Arnd Poetzsch-Heffter and Peter W. O'Hearn},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2435/},
researchr = {https://researchr.org/publication/SagivPO09a},
cites = {0},
citedby = {0},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009},
editor = {Peter W. O'Hearn and Arnd Poetzsch-Heffter and Mooly Sagiv},
volume = {09301},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}