A Pure Demand Operational Semantics with Applications to Program Analysis.

Scott Smith Robert Zhang

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
declarative semantics
denotational semantics
activity diagrams
machine learning
artificial intelligence
database systems
petri net
agent programming