| Home > Publications > Reports > Informatics (CW) |
CW 506
Dean Voets, Paolo Pilozzi, Danny De Schreye
A new approach to termination analysis of CHR
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.
report.pdf (294K) / mailto: D. Voets