Coalgebraic Operational Semantics for an Imperative Language.

William Steingartner Valerie Novitzká Wolfgang Schreiner

Published in: Comput. Informatics (2019)

Keyphrases

operational semantics
formal semantics
model theoretic
agent programming
declarative semantics
mental states
denotational semantics
data model
activity diagrams
artificial intelligence
machine learning
high level
logic programs
logic programming
speech acts