Operational Semantics of OBJ-3 (Extended Abstract).

Claude Kirchner Hélène Kirchner José Meseguer

Published in: ICALP (1988)

Keyphrases

extended abstract
operational semantics
formal semantics
model theoretic
mental states
data model
activity diagrams
declarative semantics
knowledge base
function symbols