C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Semantics Extraction from MIPS Instruction Manual.
Quang Thinh Trac
Mizuhito Ogawa
Published in:
FTSCS (2019)
Keyphrases
</>
formal semantics
logical language
logical reasoning
formal language
operational semantics
first order logic
modeling language
ontology languages
modelling language
er model
semi automatic
domain knowledge
theorem prover