A Formal Semantics of Clock Refinement in Imperative Synchronous Languages.
Mike GemundeJens BrandtKlaus SchneiderPublished in: ACSD (2010)
Keyphrases
- formal semantics
- er model
- formal language
- expressive power
- first order logic
- logical reasoning
- owl dl ontology
- logical language
- operational semantics
- modeling language
- databases
- speech acts
- epistemic logic
- modelling language
- theorem prover
- power consumption
- ontology languages
- entity relationship
- query answering
- open source