An Operational Semantics including "Volatile" for Safe Concurrency.

Published in: J. Object Technol. (2009)

Keyphrases

operational semantics
formal semantics
model theoretic
declarative semantics
database systems
concurrency control
data model
mental states
activity diagrams
denotational semantics
machine learning
database
integrity constraints
speech acts
object oriented
case study
databases