Error-controlled computation for termination of programs
Shizhong Zhao, Ranran Feng, Miaoling Zhao · 2010 3rd International Conference on Biomedical Engineering and Informatics · 2010
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 Rn. 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.