Sign in

Automatic Construction of Complete Abstraction by Abstract Interpretation.

Junyan QianLingzhong ZhaoGuoyong CaiTianlong 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