Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.

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