Fair Operational Semantics.

Dongjae Lee Minki Cho Jinwoo Kim Soonwon Moon Youngju Song Chung-Kil Hur

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

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
declarative semantics
denotational semantics
activity diagrams
artificial intelligence
database systems