Login / Signup
Completeness in Abstract Interpretation.
Patrick Cousot
Published in:
GULP-PRODE (1995)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
data quality
database
case study
high level