Typing, Analysis, and Verification of Heap-Manipulating Programs

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	Dagstuhl Seminar Proceedings
Volume	9301
State	Published - 2009
Event	Typing, Analysis and Verification of Heap-Manipulating Programs 2009 - Wadern, Germany Duration: 19 Jul 2009 → 24 Jul 2009

Cite this

@article{84551f0764b640288ea585685064163f,

title = "Typing, Analysis, and Verification of Heap-Manipulating Programs",

author = "Mooly Sagiv and Arnd Poetzsch-Heffter and Peter O{\textquoteright}Hearn",

year = "2009",

language = "אנגלית",

volume = "9301",

journal = "Dagstuhl Seminar Proceedings",

issn = "1862-4405",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

note = "Typing, Analysis and Verification of Heap-Manipulating Programs 2009 ; Conference date: 19-07-2009 Through 24-07-2009",

}

TY - JOUR

T1 - Typing, Analysis, and Verification of Heap-Manipulating Programs

AU - Sagiv, Mooly

AU - Poetzsch-Heffter, Arnd

AU - O’Hearn, Peter

PY - 2009

Y1 - 2009

UR - https://www.scopus.com/pages/publications/85175299884

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:85175299884

SN - 1862-4405

VL - 9301

JO - Dagstuhl Seminar Proceedings

JF - Dagstuhl Seminar Proceedings

T2 - Typing, Analysis and Verification of Heap-Manipulating Programs 2009

Y2 - 19 July 2009 through 24 July 2009

ER -