prialt in Handel-C: an operational semantics.

Andrew Butterfield Jim Woodcock

Published in: Int. J. Softw. Tools Technol. Transf. (2005)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
declarative semantics
denotational semantics
data model
databases
knowledge base
relational databases
agent programming
activity diagrams
artificial intelligence