On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.

Gerda Janssens, Wim Simoens

Browse the full CC paper archive.