Title: Constraint-based termination analysis of logic programs
Authors: Decorte, Stefaan ×
De Schreye, Danny
Vandecasteele, Henk #
Issue Date: Nov-1999
Publisher: Association for Computing Machinery
Series Title: ACM transactions on programming languages and systems vol:21 issue:6 pages:1137-1195
Abstract: Current norm-based automatic termination analysis techniques for logic programs can be split up into different components: inference of mode or type information, derivation of models, generation of well-founded orders, and verification of the termination conditions themselves. Although providing high-precision results, these techniques suffer from an efficiency point of view, as several of these analyses are often performed through abstract interpretation. We present a new termination analysis which integrates the various components and produces a set of constraints that, when solvable, identifies successful termination proofs. The proposed method is both efficient and precise. The use of constraint sets enables the propagation of information over all different phases while the need for multiple analyses is considerably reduced.
ISSN: 0164-0925
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
21817.pdf Published 430KbAdobe PDFView/Open


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

© Web of science