Accurate functional dependency analysis for Constraint Handling Rules
Gregory J. Duck, Tom Schrijvers · Lirias · 2005
Abstract. Information about functional dependencies is used by mod-ern CHR compilers for both optimisation and for further program anal-ysis (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. 1