Summary of: Dynamic Structural Operational Semantics.

Christian Johansen Olaf Owe

Published in: IFM (2019)

Keyphrases

operational semantics
databases
formal semantics
declarative semantics
dynamic environments
cooperative
mental states
denotational semantics
activity diagrams