ITU

Design Patterns in Separation Logic

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.
EditorsAndrew Kennedy, Amal Ahmed
Number of pages11
PublisherAssociation for Computing Machinery
Publication date2009
Pages105-116
ISBN (Print)ISBN 978-1-60558-420-1
Publication statusPublished - 2009
Event2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Savannah, United States
Duration: 24 Jan 200924 Jan 2009

Conference

Conference2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
LandUnited States
BySavannah
Periode24/01/200924/01/2009

ID: 990680