Dagstuhl Seminar Proceedings 09301

Typing, Analysis and Verification of Heap-Manipulating Programs

P. O'Hearn, A. Poetzsch-Heffter, M. Sagiv (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 09301, 19.07. - 24.07.2009
Additional Information
Seminar Homepage
License
Search Publication Server

Support
  • Microsoft Research, Cambridge, UK


  • Authors
  • Clarke, David
  • Johnsen, Einar Broch
  • O'Hearn, Peter
  • Ostlund, Johan
  • Poetzsch-Heffter, Arnd
  • Sagiv, Mooly
  • Wrigstad, Tobias

  •   
    09301 Abstracts Collection -- Typing, Analysis, and Verification of Heap-Manipulating Programs
    Authors: Sagiv, Mooly ; Poetzsch-Heffter, Arnd ; O'Hearn, Peter

    Abstract | Document (189 KB) | BibTeX

    09301 Executive Summary -- Typing, Analysis, and Verification of Heap-Manipulating Programs
    Authors: Sagiv, Mooly ; Poetzsch-Heffter, Arnd ; O'Hearn, Peter

    Abstract | Document (85 KB) | BibTeX

    Minimal Ownership for Active Objects
    Authors: Clarke, David ; Wrigstad, Tobias ; Ostlund, Johan ; Johnsen, Einar Broch

    Abstract | Document (510 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI