Reachability-based Acyclicity Analysis by Abstract Interpretation

Samir Genaim Damiano Zanardini

Published in: CoRR (2012)

Keyphrases

abstract interpretation
static analysis
databases
case study
high level
dynamic analysis