Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation.

Julien Henry, David Monniaux, Matthieu Moy

Browse the full SAS paper archive.