Baudouin Le Charlier

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

Baudouin Le Charlier, Pascal Van Hentenryck · ACM Transactions on Programming Languages and Systems · 1994 · 125 citations · Full text

Computing, Computer Science, Algorithms +10

Type analysis of prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier · The Journal of Logic Programming · 1995 · 78 citations

Computing, Computer Science, High-performance Computing +15

Combinations of abstract domains for logic programming

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck · 1994 · 58 citations · Full text

Computing, Computer Science, Algorithms +9

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck · International Conference on Lightning Protection · 1991 · 48 citations

Computing, Computer Science, Algorithms +12

A Universal Top-Down Fixpoint Algorithm

Baudouin Le Charlier, Pascal Van Hentenryck · 1992 · 48 citations

Computing, Computer Science, Algorithms +10