HAL Id: hal-01451687 https://hal.univ-reunion.fr/hal-01451687 Submitted on 5 Nov 2018 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entifc research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la difusion de documents scientifques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Termination analysis of foating-point programs using parameterizable rational approximations Fonenantsoa Maurica, Frédéric Mesnard, Etienne Payet To cite this version: Fonenantsoa Maurica, Frédéric Mesnard, Etienne Payet. Termination analysis of foating-point pro- grams 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