Termination analysis of floating-point programs using parameterizable rational approximations

Abstract : 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.
Type de document :
Communication dans un congrès
Sascha Ossowski. 31st Annual ACM Symposium on Applied Computing (SAC), Apr 2016, Pise, Italy. ACM Press, Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC), pp.1674--1679, 2016, 〈10.1145/2851613.2851834〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

http://hal.univ-reunion.fr/hal-01451687
Contributeur : Réunion Univ <>
Soumis le : lundi 5 novembre 2018 - 11:00:36
Dernière modification le : jeudi 8 novembre 2018 - 01:18:04

Fichier

sac16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Fonenantsoa Maurica, Frédéric Mesnard, Etienne Payet. Termination analysis of floating-point programs using parameterizable rational approximations. Sascha Ossowski. 31st Annual ACM Symposium on Applied Computing (SAC), Apr 2016, Pise, Italy. ACM Press, Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC), pp.1674--1679, 2016, 〈10.1145/2851613.2851834〉. 〈hal-01451687〉

Partager

Métriques

Consultations de la notice

13

Téléchargements de fichiers

8