Formal Semantics for Program Paths.

Karl Lermer Colin J. Fidge Ian J. Hayes

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

formal semantics
modelling language
logical reasoning
formal language
modeling language
theorem prover
operational semantics
ontology languages
logical language
first order logic
er model
databases
metamodel
speech acts