Olivier Degimbe

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index

1	Baudouin Le Charlier	[1] [2]
2	Pascal Van Hentenryck	[1] [2]
3	Laurent D. Michel (Laurent Michel)	[1] [2]