Design Patterns in Separation Logic

Neelakantan R. Krishnaswami; Jonathan Aldrich; Lars Birkedal; Kasper Svendsen; Alexandre Buisse

Design Patterns in Separation Logic

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.
Editors	Andrew Kennedy, Amal Ahmed
Number of pages	11
Publisher	Association for Computing Machinery
Publication date	2009
Pages	105-116
ISBN (Print)	ISBN 978-1-60558-420-1
Publication status	Published - 2009
Event	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Savannah, United States Duration: 24 Jan 2009 → 24 Jan 2009

Conference

Conference	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Country/Territory	United States
City	Savannah
Period	24/01/2009 → 24/01/2009

Cite this

@inproceedings{71a305a05b6411de8664000ea68e967b,

title = "Design Patterns in Separation Logic",

author = "Krishnaswami, {Neelakantan R.} and Jonathan Aldrich and Lars Birkedal and Kasper Svendsen and Alexandre Buisse",

year = "2009",

language = "English",

isbn = "ISBN 978-1-60558-420-1",

pages = "105--116",

editor = "Andrew Kennedy and Amal Ahmed",

booktitle = "Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.",

publisher = "Association for Computing Machinery",

address = "United States",

note = "2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation ; Conference date: 24-01-2009 Through 24-01-2009",

}

Krishnaswami, NR, Aldrich, J, Birkedal, L, Svendsen, K & Buisse, A 2009, Design Patterns in Separation Logic. in A Kennedy & A Ahmed (eds), Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. Association for Computing Machinery, pp. 105-116, 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, United States, 24/01/2009.

Design Patterns in Separation Logic. / Krishnaswami, Neelakantan R.; Aldrich, Jonathan; Birkedal, Lars et al.
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. ed. / Andrew Kennedy; Amal Ahmed. Association for Computing Machinery, 2009. p. 105-116.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Design Patterns in Separation Logic

AU - Krishnaswami, Neelakantan R.

AU - Aldrich, Jonathan

AU - Birkedal, Lars

AU - Svendsen, Kasper

AU - Buisse, Alexandre

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SN - ISBN 978-1-60558-420-1

SP - 105

EP - 116

BT - Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.

A2 - Kennedy, Andrew

A2 - Ahmed, Amal

PB - Association for Computing Machinery

T2 - 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Y2 - 24 January 2009 through 24 January 2009

ER -