Automatic Construction of Complete Abstraction by Abstract Interpretation.

Junyan Qian Lingzhong Zhao Guoyong Cai Tianlong Gu

Published in: ACIS-ICIS (2009)

Keyphrases

automatic construction
abstract interpretation
termination analysis
high level
static analysis
knowledge base
database systems
model checking
active rules
database
reasoning engine