On the Formal Semantics of MiniMaple and its Specification Language.
Muhammad Taimoor KhanPublished in: FIT (2012)
Keyphrases
- specification language
- formal semantics
- programming language
- formal specification
- description language
- operational semantics
- logical language
- modeling language
- logical reasoning
- first order logic
- modelling language
- formal language
- software environment
- theorem prover
- owl dl ontology
- reinforcement learning
- heuristic search
- object oriented