Login / Signup
Implicit Propagation in Structural Operational Semantics.
Peter D. Mosses
Mark J. New
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
data model
databases
declarative semantics
denotational semantics
activity diagrams
query language
machine learning
agent programming