| |
| 1993 | ||
|---|---|---|
| 2 | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14 | |
| 1 | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck: Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA 1993: 15-26 | |
| 1 | Baudouin Le Charlier | [1] [2] |
| 2 | Pascal Van Hentenryck | [1] [2] |
| 3 | Laurent D. Michel (Laurent Michel) | [1] [2] |