Typing, Analysis and Verification of Heap-Manipulating Programs

Keyphrases

Publications

2009

Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. Typing, Analysis and Verification of Heap-Manipulating Programs (2009)
David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
Minimal Ownership for Active Objects. Typing, Analysis and Verification of Heap-Manipulating Programs (2009)
Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. Typing, Analysis and Verification of Heap-Manipulating Programs (2009)

volume 9301, 2009

Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009 Typing, Analysis and Verification of Heap-Manipulating Programs 9301 (2009)