Operational semantics for multi-language programs.

Jacob Matthews Robert Bruce Findler

Published in: ACM Trans. Program. Lang. Syst. (2009)

Keyphrases

operational semantics
declarative semantics
agent programming
formal semantics
mental states
model theoretic
activity diagrams
denotational semantics
data model
programming language
game theoretic
dynamic logic
computer programs
speech acts
database
situation calculus
mobile robot
multi agent
artificial intelligence