Title: Inference of termination conditions for numerical loops in Prolog
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: Sep-2004
Publisher: Cambridge univ press
Series Title: Theory and practice of logic programming vol:4 pages:719-751
Abstract: We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these difficulties. Our approach is based on transforming a program in a way that allows integrating and extending techniques originally developed for analysis of numerical computations in the framework of query-mapping pairs with the well-known framework of acceptability. Such an integration not only contributes to the understanding of termination behaviour of numerical computations, but also allows us to perform a correct analysis of such computations automatically, by extending previous work on a constraint-based approach to termination. Finally, we discuss possible extensions of the technique, including incorporating general term orderings.
ISSN: 1471-0684
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
S1471068404002042a.pdf Published 211KbAdobe PDFView/Open


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

© Web of science