09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs

Authors Mooly Sagiv, Arnd Poetzsch-Heffter, Peter O'Hearn



PDF
Thumbnail PDF

File

DagSemProc.09301.2.pdf
  • Filesize: 84 kB
  • 2 pages

Document Identifiers

Author Details

Mooly Sagiv
Arnd Poetzsch-Heffter
Peter O'Hearn

Cite AsGet BibTex

Mooly Sagiv, Arnd Poetzsch-Heffter, and Peter O'Hearn. 09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs. In Typing, Analysis and Verification of Heap-Manipulating Programs. Dagstuhl Seminar Proceedings, Volume 9301, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.09301.2

Abstract

The document contains an executive summary of the Dagstuhl Seminar "Typing, Analysis, and Verification of Heap-Manipulating Programs" that took place July 2009.
Keywords
  • Typing
  • Static Analysis
  • Verification
  • Heap-Manipulating Programs

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail