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.
Type de document :
Rapport
[Research Report] 2010, pp.20
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00457324
Contributeur : Pascal Sotin <>
Soumis le : mercredi 17 février 2010 - 10:56:22
Dernière modification le : jeudi 11 janvier 2018 - 01:48:47
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:11:13

Fichier

esop2010_submission_61.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00457324, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

149