Quasi-metric Spaces as Domains for Abstract Interpretation.
Federico Crazzolara · APPIA-GULP-PRODE · 1997
Metrics and more generally quasi-metrics are well krwwn in literature on domain theory and the semantics of programming languages. In this paper, we consider the role of quasi-metrics in defining abstract interpretations. ln fact these allow bot h to represent a notion of approximation together witll the error introduced, and to apply, under suitable conditions, Danach's contraction principle.