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