Dynamic Structural Operational Semantics.

Christian Johansen Olaf Owe

Published in: CoRR (2016)

Keyphrases

operational semantics
formal semantics
dynamic environments
mental states
model theoretic
information retrieval
theorem prover