C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An operational semantics for C/C++11 concurrency.
Kyndylan Nienhuis
Kayvan Memarian
Peter Sewell
Published in:
OOPSLA (2016)
Keyphrases
</>
operational semantics
concurrency control
formal semantics
model theoretic
data model
mental states
database systems
denotational semantics
declarative semantics
activity diagrams
databases
machine learning
relational databases
description logics
database management systems