Abstract Interpretation over Infinite Abstract Domains (Tentative Report).

Published in: APLAS (2001)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
reasoning engine
active rules
dynamic analysis
active databases