Francesco Logozzo, Corneliu Popeea, and Vincent Laviron
28 June 2009
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.
|Published in||Workshop on Quantitative Analysis of Software|
© 2008 Microsoft Corporation. All rights reserved.