A Pure Demand Operational Semantics With Applications to Program Analysis.

Scott Smith Robert Zhang

Published in: CoRR (2023)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
denotational semantics
artificial intelligence
activity diagrams
agent programming
machine learning
case study
multi agent systems
object oriented
declarative semantics