Termination analysis of floating-point programs using parameterizable rational approximations.

Fonenantsoa Maurica, Frdric Mesnard, tienne Payet

Browse the full SAC paper archive.