Formal semantics for the automated derivation of micro-code.

Robert A. Mueller Joseph Varghese

Published in: DAC (1982)

Keyphrases

formal semantics
source code
er model
operational semantics
logical reasoning
formal language
modeling language
first order logic
logical language
modelling language
theorem prover
owl dl ontology
databases
epistemic logic
speech acts
semi automatic
software engineering
high level
artificial intelligence