ITU

Modular Reasoning about Separation of Concurrent Data Structures

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

Standard

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 chapterArticle in proceedingsResearchpeer-review

Harvard

Svendsen, K, Birkedal, L & Parkinson, M 2013, Modular Reasoning about Separation of Concurrent Data Structures. in ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems . Association for Computing Machinery, pp. 169-188.

APA

Svendsen, K., Birkedal, L., & Parkinson, M. (2013). Modular Reasoning about Separation of Concurrent Data Structures. In ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems (pp. 169-188). Association for Computing Machinery.

Vancouver

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

Author

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

Bibtex

@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",

}

RIS

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 -

ID: 76465278