Skip to Main content Skip to Navigation
New interface
Conference papers

Optimal approximation for efficient termination analysis of Floating-point Loops

Abstract : Floating-point numbers are used in a wide variety of programs, from numerical analysis programs to control command programs. However floating-point computations are affected by rounding errors that render them hard to be verified efficiently. We address in this paper termination proving of an important class of programs that manipulate floating-point numbers: the simple floating-point loops. Our main contribution is an optimal approximation to the rationals that allows us to efficiently analyze their termination.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01579791
Contributor : Frédéric Mesnard Connect in order to contact the contributor
Submitted on : Thursday, August 31, 2017 - 4:11:48 PM
Last modification on : Wednesday, November 3, 2021 - 4:29:07 AM
Long-term archiving on: : Friday, December 1, 2017 - 6:30:24 PM

File

17-MauricaMP-NextComp.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Fonenantsoa Maurica Andrianampoizinimaro, Frédéric Mesnard, Etienne Payet. Optimal approximation for efficient termination analysis of Floating-point Loops. 1st International Conference on Next Generation Computing Applications (NextComp2017), Jul 2017, Pointe aux Piments, Mauritius. pp.17-22, ⟨10.1109/NEXTCOMP.2017.8016170⟩. ⟨hal-01579791⟩

Share

Metrics

Record views

113

Files downloads

102