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

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

Originalsprog	Engelsk
Titel	ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Forlag	Association for Computing Machinery
Publikationsdato	2013
Sider	169-188
ISBN (Trykt)	978-3-642-37035-9
Status	Udgivet - 2013

Citationsformater

@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. s. 169-188.

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