Optimal approximation for efficient termination analysis of Floating-point Loops - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Optimal approximation for efficient termination analysis of Floating-point Loops

Résumé

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.
Fichier principal
Vignette du fichier
17-MauricaMP-NextComp.pdf (324.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01579791 , version 1 (31-08-2017)

Identifiants

Citer

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⟩
117 Consultations
117 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More