Olivier Degimbe

According to our database, Olivier Degimbe authored at least 2 papers in 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

The Impact of Granularity in Abstract Interpretation of Prolog.

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

Proceedings of the Static Analysis, Third International Workshop, 1993

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

Proceedings of the Static Analysis, Third International Workshop, 1993