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