Title: Accurate functional dependency analysis for Constraint Handling Rules
Authors: Duck, Gregory ×
Schrijvers, Tom #
Issue Date: 2005
Host Document: Proceedings of the 2nd Workshop on Constraint Handling Rules pages:109-124
Conference: Workshop on Constraint Handling Rules edition:2 location:Sitges, Spain date:October 5, 2005
Abstract: Information about functional dependencies is used by modern CHR compilers for both optimisation and for further program analysis (e.g. confluence analysis). Before this work, CHR compilers relied on an ad hoc analysis for functional dependencies based on searching for rules of a particular form and the results from late storage analysis. We present a more formal functional dependency analysis of CHRs based on abstract interpretation. We show, by example, that the new analysis is more accurate than the existing ad hoc analysis.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
chr2005.pdf Published 221KbAdobe PDFView/Open


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