A Toolkit for Static Analysis of Constraint Logic Programs

Generic systems for the analysis of logic programs have been proposed over the last decade or so. Considerable progress has been made in terms of frameworks, algorithms, abstract domains and implementations. A number of generic top-down procedural frameworks are widely available. However, implementation e#orts for bottom-up declarative frameworks are in a preliminary stage. In this thesi