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 (WSA, 1993)

The Impact of Granularity in Abstract Interpretation of Prolog. - Pascal Van Hentenryck; Olivier Degimbe; Baudouin Le Charlier; Laurent Michel (WSA, 1993)