A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions.

Jean Pichon-Pharabod Peter Sewell

Published in: POPL (2016)

Keyphrases

semantic information
formal semantics
database systems
genetic algorithm
concurrency control
real time
object oriented languages
database
keywords
optimal solution
object oriented
data management
conceptual graphs