Title :
Error-controlled computation for termination of programs
Author :
Zhao, Shizhong ; Feng, Ranran ; Zhao, Miaoling
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
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.
Keywords :
program verification; arbitrary precision; arithmetic expression; calculation error; error controlled computation; floating point number; loop program; program termination; recursive algorithm; software safety; Approximation algorithms; Bismuth; Computers; Conferences; Error correction codes; Programming; Software; Termination; errorcontrolled computation; program verification; trusted computing;
Conference_Titel :
Biomedical Engineering and Informatics (BMEI), 2010 3rd International Conference on
Conference_Location :
Yantai
Print_ISBN :
978-1-4244-6495-1
DOI :
10.1109/BMEI.2010.5639817
