Login / Signup

Abstract Interpretation from a Topological Perspective.

David A. Schmidt
Published in: SAS (2009)
Keyphrases
  • abstract interpretation
  • termination analysis
  • active rules
  • static analysis
  • model checking
  • dynamic analysis
  • reverse engineering
  • reasoning engine
  • database
  • databases
  • relational databases
  • active databases