Succinct Representations for Abstract Interpretation

Julien Henry David Monniaux Matthieu Moy

Published in: CoRR (2012)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
web services
database systems