Login / Signup
Structural Operational Semantics as a Basis for Static Program Analysis.
Daniel Le Métayer
David A. Schmidt
Published in:
ACM Comput. Surv. (1996)
Keyphrases
</>
operational semantics
formal semantics
data model
mental states
model theoretic
declarative semantics
activity diagrams
multi agent