An Operational Semantics for Handel-C.

Andrew Butterfield Jim Woodcock

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
data model
denotational semantics
activity diagrams
declarative semantics
machine learning
artificial intelligence
object oriented
metamodel
theorem prover
speech acts