Quantifying the Precision of Numerical Abstract Domains - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2010

Quantifying the Precision of Numerical Abstract Domains

Abstract

In the context of the Abstract Interpretation framework, initiated by Cousot and Cousot to model program static analyses, numerous numerical abstract domains have been proposed. Their number is due to both the intended usage of the domains (properties to prove) and the trade-off between precision and computation efficiency. In this paper, we propose a way to quantify the precision of abstract values belonging to numerical domains like intervals, octagons or polyhedra. To do so, we rely on the fact that abstract values of that kind describe some volumes that can be measured. The article focuses on the definition and computation of this precision, also providing examples of application.
Fichier principal
Vignette du fichier
esop2010_submission_61.pdf (208.42 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00457324 , version 1 (17-02-2010)

Identifiers

  • HAL Id : inria-00457324 , version 1

Cite

Pascal Sotin. Quantifying the Precision of Numerical Abstract Domains. [Research Report] 2010, pp.20. ⟨inria-00457324⟩
173 View
226 Download

Share

Gmail Mastodon Facebook X LinkedIn More