Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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]

Conference: Dagstuhl2009

Abstract is missing.

09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating ProgramsMooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn. [doi]

Minimal Ownership for Active ObjectsDavid Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen. [doi]

09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating ProgramsMooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn. [doi]

runs on WebDSL