Sign in

High-level small-step operational semantics for transactions.

Katherine F. MooreDan 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