Baudouin Le Charlier

According to our database, Baudouin Le Charlier authored at least 58 papers between 1974 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Program That Simplifies Regular Expressions (Tool paper).

Baudouin Le Charlier

CoRR, 2023

2020

Experimental Evaluation of a Method to Simplify Expressions.

Baudouin Le Charlier

CoRR, 2020

2017

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.

Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

A Data Structure to Handle Large Sets of Equal Terms.

Baudouin Le Charlier, Mêton Mêton Atindehou

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.

Baudouin Le Charlier, Mêton Mêton Atindehou

Proceedings of the IWIL@LPAR 2015, 2015

2008

Un système vérifiant des propriétés opérationnelles de programmes logiques.

Francçois Gobert, Baudouin Le Charlier

Tech. Sci. Informatiques, 2008

The HoneyTank: a scalable approach to collect malicious internet traffic.

Nicolas Vanderavero, Xavier Brouckaert, Olivier Bonaventure, Baudouin Le Charlier

Int. J. Crit. Infrastructures, 2008

Formalisation of C Language Interfaces.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

2007

Source-to-source optimizing transformations of Prolog programs based on abstract interpretation

Francçois Gobert, Baudouin Le Charlier

CoRR, 2007

Towards precise descriptions for programming language interoperability: a general approach based on operational semantics.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Enterprise Interoperability II, 2007

2006

A tool for helping teach a programming method.

Isabelle Dony, Baudouin Le Charlier

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005

Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.

Isabelle Pollet, Baudouin Le Charlier

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

2004

A Program Verification System Based on Oz.

Isabelle Dony, Baudouin Le Charlier

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2002

Sequence-based abstract interpretation of Prolog.

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck

Theory Pract. Log. Program., 2002

2001

Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.

Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier

Proceedings of the Declarative Programming, 2001

On the Design of a Tool for Supporting the Construction of Logic Programs.

Gustavo A. Ospina, Baudouin Le Charlier

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

Reexecution-Based Analysis of Logic Programs with Delay Declarations.

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi

Proceedings of the Perspectives of System Informatics, 2001

Distinctness and Sharing Domains for Static Analysis of Java Programs.

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi

Proceedings of the ECOOP 2001, 2001

2000

Combinations of abstract domains for logic programming: open product and generic pattern construction.

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck

Sci. Comput. Program., 2000

1999

Automated Verification of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

J. Log. Program., 1999

1998

Specifications are necessarily informal or: Some more myths of formal methods.

Baudouin Le Charlier, Pierre Flener

J. Syst. Softw., 1998

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.

Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).

Baudouin Le Charlier, Pierre Flener

Proceedings of the Static Analysis, 4th International Symposium, 1997

Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis.

Abdelaziz Mounji, Baudouin Le Charlier

Proceedings of the Network and Distributed System Security Symposium, 1997

Automated Verification of Behavioural Properties of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

Proceedings of the Advances in Computing Science, 1997

Automated Behavioural Verification of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Specification-Based Automatic Verification of Prolog Programs.

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi

Proceedings of the Logic Programming Synthesis and Transformation, 1996

Unified Relational Framework for Programming Paradigm Combination.

Naji Habra, Baudouin Le Charlier

Proceedings of the Frontiers of Combining Systems, 1996

Abstract Interpretation and Application to Interactive System Verification.

Baudouin Le Charlier

Proceedings of the Design, 1996

1995

Evaluation of the Domain <i>Prop</i>.

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

J. Log. Program., 1995

Type Analysis of Prolog Using Type Graphs.

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

J. Log. Program., 1995

Reexecution in Abstract Interpretation of Prolog.

Baudouin Le Charlier, Pascal Van Hentenryck

Acta Informatica, 1995

Distributed audit trail analysis.

Abdelaziz Mounji, Baudouin Le Charlier, D. Zampuniéris, Naji Habra

Proceedings of the 1995 Symposium on Network and Distributed System Security, 1995

An Efficient Algorithm to Compute the Synchronized Product.

D. Zampuniéris, Baudouin Le Charlier

Proceedings of the MASCOTS '95, 1995

Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.

Baudouin Le Charlier, Sabina Rossi

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

A generic fixpoint semantics for PROLOG and its application for abstract interpretation.

Baudouin Le Charlier, Pascal Van Hentenryck

Proceedings of the JFPLC'95, 1995

1994

Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.

Baudouin Le Charlier, Pascal Van Hentenryck

ACM Trans. Program. Lang. Syst., 1994

Abstract Interpretation and Finite Domain Symbolic Constraints

Baudouin Le Charlier

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1994

Cardinality Analysis of Prolog.

C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1994

Combinations of Abstract Domains for Logic Programming.

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

An Abstract Interpretation Framework for (almost) Full Prolog.

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.

Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck

Softw. Pract. Exp., 1993

The Impact of Granularity in Abstract Interpretation of Prolog.

Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel

Proceedings of the Static Analysis, Third International Workshop, 1993

Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.

Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck

Proceedings of the Static Analysis, Third International Workshop, 1993

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain <tt>Prop</tt>.

Baudouin Le Charlier, Pascal Van Hentenryck

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

On the Design of Generic Abstract Interpretation Frameworks.

Baudouin Le Charlier, Pascal Van Hentenryck

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

FOLON: An Environment for Declarative Construction of Logic Programs.

Jean Henrard, Baudouin Le Charlier

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.

Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck

Proceedings of the Programming Language Implementation and Logic Programming, 1992

FOLON: An Environment for Declarative Construction of Logic Programs.

Pierre De Boeck, Jean Henrard, Baudouin Le Charlier

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite.

Baudouin Le Charlier

Proceedings of the JFPL'92, 1992

ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis.

Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu

Proceedings of the Computer Security, 1992

1991

Automatic Construction of Prolog Primitives for Type Checking Analysis.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1991

1990

Static Type Analysis of Prolog Procedures for Ensuring Correctness.

Pierre De Boeck, Baudouin Le Charlier

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1974

An Extensible Semantic Model of Data Base and Its Data language.

Jean-Luc Hainaut, Baudouin Le Charlier

Proceedings of the Information Processing, 1974