Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.

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

Browse the full SAS paper archive.