A rewriting logic approach to operational semantics.

Traian-Florin Serbanuta Grigore Rosu José Meseguer

Published in: Inf. Comput. (2009)

Keyphrases

operational semantics
model theoretic
declarative semantics
term rewriting
formal semantics
mental states
agent programming
data model
denotational semantics
speech acts
knowledge base
reinforcement learning
cooperative
activity diagrams