Modular Reasoning about Separation of Concurrent Data Structures

Kasper Svendsen; Lars Birkedal; Matthew Parkinson

Modular Reasoning about Separation of Concurrent Data Structures

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

Microsoft Research

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

Original language	English
Title of host publication	ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Publisher	Association for Computing Machinery
Publication date	2013
Pages	169-188
ISBN (Print)	978-3-642-37035-9
Publication status	Published - 2013

Cite this

@inproceedings{6ef5152b4b994e16bed8e2ae050772ca,

title = "Modular Reasoning about Separation of Concurrent Data Structures",

author = "Kasper Svendsen and Lars Birkedal and Matthew Parkinson",

year = "2013",

language = "English",

isbn = "978-3-642-37035-9 ",

pages = "169--188",

booktitle = "ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems",

publisher = "Association for Computing Machinery",

address = "United States",

}

Modular Reasoning about Separation of Concurrent Data Structures. / Svendsen, Kasper; Birkedal, Lars; Parkinson, Matthew.
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems . Association for Computing Machinery, 2013. p. 169-188.

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

TY - GEN

T1 - Modular Reasoning about Separation of Concurrent Data Structures

AU - Svendsen, Kasper

AU - Birkedal, Lars

AU - Parkinson, Matthew

PY - 2013

Y1 - 2013

M3 - Article in proceedings

SN - 978-3-642-37035-9

SP - 169

EP - 188

BT - ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems

PB - Association for Computing Machinery

ER -