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⟩