CW 331

A. Serebrenik, D. De Schreye
On termination of programs with real numbers computations

Abstract

Numerical computations form an essential part of almost any real-world program. Traditional approaches are restricted domains isomorphic to N, more recent works study termination of integer computations. Termination of computations involving real numbers is cumbersome and counter-intuitive due to rounding errors and implementation conventions. We present a novel technique that allows us to prove termination of such computations. Our approach extends the previous work on termination of integer computations.