@InProceedings{sagiv_et_al:DagSemProc.09301.2,
author = {Sagiv, Mooly and Poetzsch-Heffter, Arnd and O'Hearn, Peter},
title = {{09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs}},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {9301},
editor = {Peter O'Hearn and Arnd Poetzsch-Heffter and Mooly Sagiv},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.2},
URN = {urn:nbn:de:0030-drops-24354},
doi = {10.4230/DagSemProc.09301.2},
annote = {Keywords: Typing, Static Analysis, Verification, Heap-Manipulating Programs}
}