From Operational Semantics for Abstract Machines.

John Hannan Dale Miller

Published in: Math. Struct. Comput. Sci. (1992)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
denotational semantics
high level
activity diagrams
database
declarative semantics
agent programming
expert systems
learning process
intelligent systems
dynamic environments