Title: On termination of logic programs with floating point computations
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2002
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:2477 pages:151-164
Conference: The 9th International Static Analysis Symposium location:Madrid, Spain date:September 17-20, 2002
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. 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.
Description: Static analysis, proceedings
ISBN: 3-540-44235-9
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
38927.pdf Published 237KbAdobe PDFView/Open


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

© Web of science