A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi

Browse the full SAS paper archive.