Multimodal Separation Logic for Reasoning About Operational Semantics.

Robert Dockins Andrew W. Appel Aquinas Hobor

Published in: MFPS (2008)

Keyphrases

operational semantics
formal semantics
term rewriting
model theoretic
declarative semantics
mental states
formal theory
activity diagrams
agent programming
denotational semantics
speech acts
data model
modal operators
case study
temporal logic
collaborative learning
artificial intelligence
machine learning