The Impact of Granularity in Abstract Interpretation of Prolog.

Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel

Browse the full SAS paper archive.