• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Summary of: Dynamic Structural Operational Semantics.

Christian JohansenOlaf Owe
Published in: IFM (2019)
Keyphrases
  • operational semantics
  • databases
  • formal semantics
  • declarative semantics
  • dynamic environments
  • cooperative
  • mental states
  • denotational semantics
  • activity diagrams