ITEM METADATA RECORD
Title: A new approach to termination analysis of Constraint Handling Rules
Authors: Voets, Dean ×
De Schreye, Danny
Pilozzi, Paolo #
Issue Date: Jul-2008
Host Document: Pre-proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation pages:28-42
Conference: International Symposium on Logic-Based Program Synthesis and Transformation edition:18 date:17-18 July 2008
Abstract: We present a new approach to termination analysis of Constraint Handling Rules (CHR). Unlike current approaches, our approach has no restrictions on the kind of rules in the CHR program. We propose a termination condition that verifies conditions imposed on the dynamic process of adding constraints to the store, instead of a termination argument based on the comparison of sizes of consecutive computation states. We demonstrate the condition's applicability on a set of terminating CHR programs, using a prototype analyzer. This analyzer is the first in-language automated termination analyzer for CHR programs.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
LOPSTR2008_PreProceedings.pdfMain ariticle Published 214KbAdobe PDFView/Open

 


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