Modular first-order specifications of operational semantics.

Harald Ganzinger

Published in: Programs as Data Objects (1985)

Keyphrases

operational semantics
term rewriting
model theoretic
formal semantics
mental states
first order logic
activity diagrams
data model
agent programming
machine learning
artificial intelligence
multi agent
formal specification
denotational semantics