Error-controlled computation for termination of programs

Whether a program can terminate or not has direct impact on software safety. As false results can occur due to calculation errors on floating point numbers, the terminability can be false given a loop program and any initial value on R
ⁿ
. In this paper, a recursive algorithm is suggested for calculating the values of arithmetic expressions to arbitrary precision. Using the error-controlled computation method (ECC), we can determine the initial value is a terminating point or not.