Skip to Main content Skip to Navigation
Conference papers

Towards a constraint system for round-off error analysis of floating-point computation

Abstract : In this paper, we introduce a new constraint solver aimed at analyzing the round-off errors that occur in floating-point computations. Such a solver allows reasoning on round-off errors by means of constraints on ranges of error values. This new solver is built by incorporating in a solver for constraints over the floating-point numbers the domain of errors which is dual to the domain of values. Both domains, the domain of values and the domain of errors, are associated with each variable of the problem. Additionally, we introduce projection functions that filter these domains as well as the mechanisms required for the analysis of errors. Preliminary experiments are encouraging. Numerous works, which are based on an overestimation of actual errors, try to address similar issues. However, they do not provide critical information to reason on those errors, for example, by computing input values that exercise a given error. To our knowledge, our solver is the first constraint solver with such reasoning capabilities over round-off errors.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01956046
Contributor : Rémy Garcia <>
Submitted on : Friday, December 14, 2018 - 6:29:33 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:56 PM
Document(s) archivé(s) le : Friday, March 15, 2019 - 5:26:18 PM

File

dp2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01956046, version 1

Collections

Citation

Rémy Garcia, Claude Michel, Marie Pelleau, Michel Rueher. Towards a constraint system for round-off error analysis of floating-point computation. 24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France. ⟨hal-01956046⟩

Share

Metrics

Record views

74

Files downloads

37