Olivier Degimbe

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

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)
Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
The Impact of Granularity in Abstract Interpretation of Prolog. WSA (1993)