Executing Formal Semantics with the K Tool.
David LazarAndrei ArusoaieTraian-Florin SerbanutaChucky EllisonRadu MereutaDorel LucanuGrigore RosuPublished in: FM (2012)
Keyphrases
- formal semantics
- design rationale
- theorem prover
- logical reasoning
- modelling language
- operational semantics
- logical language
- first order logic
- formal language
- speech acts
- modeling language
- owl dl ontology
- databases
- life cycle
- database applications
- database management systems
- relational databases
- natural language
- high level