Termination analysis of floating-point programs using parameterizable rational approximations - Université de La Réunion
Communication Dans Un Congrès Année : 2016

Termination analysis of floating-point programs using parameterizable rational approximations

Résumé

Analysis of floating-point programs is a topic that received an increasing attention the past few years. However, only very few works have been done regarding their termination analysis. We address that problem in this paper. We present a technique that takes advantage of the already existing works on termination analysis of rational programs. Our approach consists in translating the floating-point programs into rational ones by means of sound approximations. We approximate the floating-point expressions using piecewise linear functions. Our approximation differs from the already existing ones in the sense that it can be as precise as needed.
Fichier principal
Vignette du fichier
sac16.pdf (314.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01451687 , version 1 (05-11-2018)

Identifiants

Citer

Fonenantsoa Maurica Andrianampoizinimaro, Frédéric Mesnard, Etienne Payet. Termination analysis of floating-point programs using parameterizable rational approximations. 31st Annual ACM Symposium on Applied Computing (SAC), Apr 2016, Pise, Italy. pp.1674--1679, ⟨10.1145/2851613.2851834⟩. ⟨hal-01451687⟩
92 Consultations
227 Téléchargements

Altmetric

Partager

More