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

Carnegie Mellon University

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.
Redaktører	Andrew Kennedy, Amal Ahmed
Antal sider	11
Forlag	Association for Computing Machinery
Publikationsdato	2009
Sider	105-116
ISBN (Trykt)	ISBN 978-1-60558-420-1
Status	Udgivet - 2009
Begivenhed	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Savannah, USA Varighed: 24 jan. 2009 → 24 jan. 2009

Konference

Konference	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Land/Område	USA
By	Savannah
Periode	24/01/2009 → 24/01/2009

Citationsformater

@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. i A Kennedy & A Ahmed (red), 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, s. 105-116, 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, USA, 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.. red. / Andrew Kennedy; Amal Ahmed. Association for Computing Machinery, 2009. s. 105-116.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -