Handcrafted Inversions Made Operational on Operational Semantics.

Jean-François Monin Xiaomu Shi

Published in: ITP (2013)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
declarative semantics
denotational semantics
data model
mobile robot
activity diagrams
databases
relational databases
xml documents
programming language
petri net
speech acts