Termination analysis of floating-point programs using parameterizable rational approximations

Abstract : no abstract
Type de document :
Communication dans un congrès
Ossowski, Sascha. 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), Pisa, Italy, April 4-8, 2016, pp.1674--1679, 2016
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451687
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:55:43
Dernière modification le : lundi 26 février 2018 - 15:00:03

Identifiants

  • HAL Id : hal-01451687, version 1

Collections

Citation

Fonenantsoa Maurica, Frédéric Mesnard, Etienne Payet. Termination analysis of floating-point programs using parameterizable rational approximations. Ossowski, Sascha. 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), Pisa, Italy, April 4-8, 2016, pp.1674--1679, 2016. 〈hal-01451687〉

Partager

Métriques

Consultations de la notice

31