Baudouin Le Charlier
机构: Université catholique de Louvain
每年引用次数
引用次数
引用: 2,016
H-指数: 26
I10-指数 : 38
出版物: 106
An Extensible Semantic Model of Data Base and Its Data language.
Jean-Luc Hainaut , Baudouin Le Charlier
ifip congress 1026 -1030
10
1974
An abstract interpretation framework which accurately handles prolog search-rule and the cut
Pascal van Hentenryck , Sabina Rossi , Baudouin Le Charlier
international conference on logic programming 157 -171
29
1994
Automated Behavioural Verification of Prolog Programs
Agostino Cortesi , Christophe Leclère , Sabina Rossi , Baudouin Le Charlier
appia gulp prode 189 -200
1997
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Marc-Michel Corsini , Antoine Rauzy , Baudouin Le Charlier , Kaninda Musumbu
international symposium on programming language implementation and logic programming 75 -91
28
1993
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
Sabina Rossi , Baudouin Le Charlier
LPE
1995
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
Baudouin Le Charlier
Springer-Verlag
1994
On the Design of Generic Abstract Interpretation Frameworks.
Baudouin Le Charlier , Pascal Van Hentenryck
WSA 229 -246
7
1992
Proceedings of the First International Static Analysis Symposium on Static Analysis
Baudouin Le Charlier
static analysis symposium
1994
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.
Baudouin Le Charlier , Mêton Mêton Atindehou
IWIL@LPAR 37 -51
2015
Distinctness and Sharing Domains for Static Analysis of Java Programs
Isabelle Pollet , Baudouin Le Charlier , Agostino Cortesi
ECOOP 2001 — Object-Oriented Programming 2072 77 -98
29
2001
Automated verification of Prolog programs
Baudouin Le Charlier , Christophe Leclère , Sabina Rossi , Agostino Cortesi
Journal of Logic Programming 39 3 -42
7
1999
Evaluation of the domain prop
Pascal Van Hentenryck , Agostino Cortesi , Baudouin Le Charlier
Journal of Logic Programming 23 ( 3) 237 -278
45
1995
A Data Structure to Handle Large Sets of Equal Terms
Baudouin Le Charlier , Mêton Mêton Atindehou
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science 39 81 -94
1
2016
The honeytank: a scalable approach to collect malicious Internet traffic
Nicolas Vanderavero , Xavier Brouckaert , Olivier Bonaventure , Baudouin Le Charlier
International Journal of Critical Infrastructures 4 ( 1) 185 -205
12
2008
Towards precise descriptions for programming language interoperability: a general approach based on operational semantics
Gustavo A. Ospina , Baudouin Le Charlier
IESA 581 -586
2
2007
Combinations of abstract domains for logic programming: open product and generic pattern construction
Agostino Cortesi , Baudouin Le Charlier , Pascal Van Hentenryck
Science of Computer Programming 38 ( 1) 27 -71
37
2000
Groundness analysis for Prolog: implementation and evaluation of domain prop
Baudouin Le Charlier , Pascal van Hentenryck
partial evaluation and semantic-based program manipulation 99 -110
41
1993
Generic abstract interpretation algorithms for Prolog: two optimization techniques and their experimental evaluation
Vincent Englebert , Baudouin Le Charlier , Didier Roland , Pascal Van Hentenryck
Software - Practice and Experience 23 ( 4) 419 -459
26
1993
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
Baudouin Le Charlier , Pascal Van Hentenryck
ACM Transactions on Programming Languages and Systems 16 ( 1) 35 -101
119
1994
Combinations of abstract domains for logic programming
Agostino Cortesi , Baudouin Le Charlier , Pascal Van Hentenryck
symposium on principles of programming languages 227 -239
57
1994