Login / Signup
Trace-Based Abstract Interpretation of Operational Semantics.
David A. Schmidt
Published in:
LISP Symb. Comput. (1998)
Keyphrases
</>
operational semantics
abstract interpretation
termination analysis
static analysis
formal semantics
model checking
active rules
reasoning engine
mental states
dynamic analysis
data model
active databases