Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

David A. Schmidt

Published in: SAS (1995)

Keyphrases

preliminary version
abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
model checking
active databases
distributed systems
dynamic analysis
database
databases
case study