Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Article title
Mathematizing C++ Concurrency
Type
D - Journal article
Title of journal
ACM SIGPLAN Notices
Article number
-
Volume number
46
Issue number
1
First page of article
55
ISSN of journal
0362-1340
Year of publication
2011
URL
-
Number of additional authors
4
Additional information
<08>The ISO C++ committee finally included concurrency as a first-class part of the language in 2011 (C followed suit by adopting the same model in C11). However, the informal work was ambiguous, internally inconsistent and in any case hard to understand. Done at the late stages of the ISO standardisation work, this work explained the problems, and helped us argue for changes in the published ISO standard. It has now become the standard explanation of the details of C++ concurrency, and was presented at POPL'11, a premier programming languages conference.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
