Towards a Quantitative Estimation of Abstract Interpretations

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.

quantitative.ai.pdf.pdf
PDF file

In  Workshop on Quantitative Analysis of Software

Publisher  Microsoft
© 2008 Microsoft Corporation. All rights reserved.

Details

TypeInproceedings
> Publications > Towards a Quantitative Estimation of Abstract Interpretations