Title: Non-termination analysis of logic programs using types
Authors: Voets, Dean
De Schreye, Danny
Issue Date: 2011
Publisher: Springer
Host Document: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, Lecture Notes in Computer Science vol:6564 pages:133-148
Conference: International Symposium on Logic-Based Program Synthesis and Transformation edition:20 location:Hagenberg, Austria date:23-25 July 2010.
Abstract: In recent years techniques and systems have been developed to prove non-termination of logic programs for certain classes of queries. In previous work, we developed such a system based on mode-information and a form of loop checking performed at compile time. In the current paper we improve this technique by integrating type information in the analysis and by applying non-failure analysis and program specialization. It turns out that there are several classes of programs for which existing non-termination analyzers fail and for which our extended technique succeeds in proving non-termination.
ISBN: 978-3-642-20550-7
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
LOPSTR_2010_Non_termination.pdfMain article Published 300KbAdobe PDFView/Open


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

© Web of science