Termination of Floating-Point Computations

Alexander Serebrenik, Danny De Schreye. Termination of Floating-Point Computations. Journal of Automated Reasoning, 34(2):141-177, 2005. [doi]

Abstract

Abstract is missing.