%0 Conference Paper %1 conf/dagstuhl/SagivPO09a %A Sagiv, Mooly %A Poetzsch-Heffter, Arnd %A O'Hearn, Peter W. %B Typing, Analysis and Verification of Heap-Manipulating Programs %D 2009 %E O'Hearn, Peter W. %E Poetzsch-Heffter, Arnd %E Sagiv, Mooly %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K %T 09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9301.html#SagivPO09a %V 09301

@inproceedings{conf/dagstuhl/SagivPO09a, added-at = {2023-12-13T02:23:46.000+0100}, author = {Sagiv, Mooly and Poetzsch-Heffter, Arnd and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/20aa16dd94695477bfd7bef765a54df5f/admin}, booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs}, crossref = {conf/dagstuhl/2009P9301}, editor = {O'Hearn, Peter W. and Poetzsch-Heffter, Arnd and Sagiv, Mooly}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2435/}, interhash = {7ea8ef54f756390d27e0114418f18f8f}, intrahash = {0aa16dd94695477bfd7bef765a54df5f}, keywords = {}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T02:23:46.000+0100}, title = {09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9301.html#SagivPO09a}, volume = 09301, year = 2009 }