A Type-Directed Operational Semantics For a Calculus with a Merge Operator.

Xuejing Huang Bruno C. d. S. Oliveira

Published in: ECOOP (2020)

Keyphrases

operational semantics
term rewriting
formal semantics
type checking
data model
mental states
agent programming
activity diagrams
artificial intelligence
natural language processing
intelligent agents
theorem proving
model theoretic
denotational semantics