Skip to Main content Skip to Navigation

Quantifying the Precision of Numerical Abstract Domains

Pascal Sotin 1 
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Document type :
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Pascal Sotin Connect in order to contact the contributor
Submitted on : Wednesday, February 17, 2010 - 10:56:22 AM
Last modification on : Sunday, June 26, 2022 - 4:56:01 AM
Long-term archiving on: : Friday, June 18, 2010 - 9:11:13 PM


Files produced by the author(s)


  • HAL Id : inria-00457324, version 1



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



Record views


Files downloads