| Autor: |
Voets, Dean, De Schreye, Danny, Pilozzi, Paolo |
| Přispěvatelé: |
Hofbauer, D, Serebrenik, A, Hanus, M |
| Jazyk: |
angličtina |
| Rok vydání: |
2007 |
| Předmět: |
|
| Popis: |
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. ispartof: pages:28-42 ispartof: Pre-proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation pages:28-42 ispartof: International Symposium on Logic-Based Program Synthesis and Transformation date:17 Jul - 18 Jul 2008 status: published |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
