Operational semantics for multi-language programs.

Jacob Matthews Robert Bruce Findler

Published in: POPL (2007)

Keyphrases

operational semantics
declarative semantics
agent programming
formal semantics
model theoretic
data model
denotational semantics
mental states
databases
database systems
reinforcement learning
object oriented
specification language
control program
activity diagrams