Generating Specialized Interpreters for Modular Structural Operational Semantics.

Casper Bach Poulsen Peter D. Mosses

Published in: LOPSTR (2013)

Keyphrases

operational semantics
formal semantics
data model
general purpose
model theoretic
mental states
denotational semantics
declarative semantics
agent programming
activity diagrams
case study
distance learning
language learning
virtual machine
description language
speech acts