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