Concepedia

Baudouin Le Charlier

BL

25

Publications

839

Citations

17

H-Index

1974

Active since

Affiliations

University of Namur(Current)

Brown University

Ca' Foscari University of Venice

Baudouin Le Charlier is an author at University of Namur specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSoftware AnalysisFormal VerificationProgram AnalysisSemanticsLogic ProgrammingSyntax

Publications per year

1974–2007

25

Publications

25

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

Engineering, Well-founded Semantics, Prolog Programs +20

Type analysis of prolog using type graphs

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

Engineering, Automated Reasoning, Type Theory +7

Combinations of abstract domains for logic programming

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

Applied Logic, Engineering, Well-founded Semantics +16

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

Complexity Analysis, Engineering, Abstract Complexity +8

A Universal Top-Down Fixpoint Algorithm

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

Mathematical Programming, Large-scale Global Optimization, Engineering +20

Rows per page

1–5 of 25