Sign in
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.
Radhia Cousot
Published in:
VMCAI (2008)
Keyphrases
</>
abstract interpretation
termination analysis
business intelligence
active rules
static analysis
natural language
high level
database systems
semantic information
model checking
domain independent
reasoning engine