LE CHARLIER, BAUDOUIN / Computer science / Researchers

International Center for Scientific Research

Researchers

Computer science / LE CHARLIER, BAUDOUIN

blcinfo.ucl.ac.be

Position

Full professor of Computer Science, Catholic University of Louvain, Belgium

Research interests

Interoperability of programming languages, Intrusion detection, Program analysis and verification, Logic and Object Oriented Programming

Publications

Author of about 50 publications in International Journals and Conference Proceeedings.

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: Sequence-based abstract interpretation of Prolog. TPLP 2(1): 25-84 (2002)

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of abstract domains for logic programming: open product and generic pattern construction. Science of Computer Programming 38(1-3): 27-71 (2000)

Baudouin Le Charlier, Christophe Leclêre, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. JLP 39(1-3): 3-42 (1999)

Legal notice - Contact

Copyright © 2013 - www.cirs.info - All rights reserved