Login / Signup
High-level small-step operational semantics for transactions.
Katherine F. Moore
Dan Grossman
Published in:
POPL (2008)
Keyphrases
</>
operational semantics
high level
low level
formal semantics
mental states
model theoretic
case study
database
databases
computational intelligence
source code
declarative semantics
activity diagrams