A Toolkit for Static Analysis of Constraint Logic Programs
Hüseyin Çağrı Sağlam · 1997
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 thesis