Title: Termination of floating-point computations
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: Dec-2005
Publisher: Springer
Series Title: Journal of automated reasoning vol:34 issue:2 pages:141-177
Abstract: Numerical computations form an essential part of almost any real-world program. Traditional approaches to termination of logic programs are restricted to domains isomorphic to (N,>); more recent works study termination of integer computations where the lack of well-foundedness of the integers has to be taken into account. Termination of computations involving floating-point numbers can be counterintuitive because of 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.
ISSN: 0168-7433
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
art%3A10.1007%2Fs10817-005-6546-z.pdf Published 403KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science