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
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


Files produced by the author(s)




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⟩



Record views


Files downloads