C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Abstract Interpretation over Infinite Abstract Domains (Tentative Report).
Mizuhito Ogawa
Published in:
APLAS (2001)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
reasoning engine
active rules
dynamic analysis
active databases