Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00457324
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

File

esop2010_submission_61.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00457324, version 1

Collections

Citation

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

Share

Metrics

Record views

143

Files downloads

205