A Formal Semantics for the SmartFrog Configuration Language.

Paul Anderson Herry Herry

Published in: J. Netw. Syst. Manag. (2016)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
speech acts
er model
logical reasoning
eca rules
theorem prover
model theoretic
software engineering
metamodel
mental states
epistemic logic