Towards a Quantitative Estimation of Abstract Interpretations

Francesco Logozzo, Corneliu Popeea, and Vincent Laviron

Abstract

We aim to extend the notion of distance of sets to partially ordered sets (posets). We discuss several possible definitions, and we propose a relaxed definition of distance between elements of a domain. We apply it in the abstract interpretation theory, and we show in some preliminary examples how it seems well suited to formally quantify the relative loss of precision induced by abstract domains.

Details

Publication typeInproceedings
Published inWorkshop on Quantitative Analysis of Software
PublisherMicrosoft
> Publications > Towards a Quantitative Estimation of Abstract Interpretations