B. L. Charlier

发表

A Universal Top-Down Fixpoint Algorithm

Pascal Van Hentenryck, B. L. Charlier, 1992 .

Why don ’ t we simply use a model checker ?

B. L. Charlier, Isabelle Dony, 2005 .

Distributed Audit Trail Analysis Distributed Audit Trail Analysis

B. L. Charlier, Abdelaziz Mounji, Denis Zampuni, 1994 .

Extending the Folon Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions 1

B. L. Charlier, 2007 .

th International Workshop on the Implementation of Logics A Method to Simplify Expressions : Intuition and Preliminary Experimental Results

Mêton Mêton Atindehou, B. L. Charlier, 2016 .

A Logical Framework for Programming Paradigm Amalgamation

B. L. Charlier, N. Habra, 1994 .

Experimental Evaluation of a Method to Simplify Expressions

B. L. Charlier, 2020, ArXiv.

An Extensible Semantic Model of Data Base and Its Data language

Jean-Luc Hainaut, Baudouin Le Charlier, Jean-Luc Hainaut, 1974, IFIP Congress.

Automated Behavioural Verification of Prolog Programs

Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier, 1997, APPIA-GULP-PRODE.

Reexe ution-based Analysis of Logi Programs with Delay De larations

B. L. Charlier, Agostino Cortesi, 2007 .

Sequence-based abstract interpretation of Prolog

Pascal Van Hentenryck, Sabina Rossi, Baudouin Le Charlier, 2000, Theory and Practice of Logic Programming.

An Abstract Interpretation Framework for (almost) Full Prolog

Pascal Van Hentenryck, Sabina Rossi, Baudouin Le Charlier, 1994, GULP-PRODE.

Sequence-based Abstract Interpretation of Prolog 1

B. L. Charlier, S. Rossi, BAUDOUIN LE CHARLIER, 2022 .

Evaluation of the Domain Prop

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier, 1995, J. Log. Program..

Type analysis of Prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier, 1994, PLDI '94.

Abstract Interpretation and Application to Interactive System Verification

Baudouin Le Charlier, B. L. Charlier, 1996, DSV-IS.

Automated Verification of Prolog Programs

Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier, 1999, J. Log. Program..

Abstract Interpretation and Finite Domain Symbolic Constraints

Baudouin Le Charlier, B. L. Charlier, 1994, Constraint Programming.

On the Design of Generic Abstract Interpretation Frameworks

Pascal Van Hentenryck, Baudouin Le Charlier, B. L. Charlier, 1992, WSA.

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

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier, 2000, Sci. Comput. Program..

Combinations of abstract domains for logic programming

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier, 1994, POPL '94.

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

Pascal Van Hentenryck, Baudouin Le Charlier, B. L. Charlier, 1994, TOPL.

A Program Verification System Based on Oz

Baudouin Le Charlier, Isabelle Dony, B. L. Charlier, 2004, MOZ.

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

Baudouin Le Charlier, Francçois Gobert, B. L. Charlier, 2007, ArXiv.

A tool to check operational properties of Prolog programs with application to program construction and program optimization – Tool demonstration

B. L. Charlier, François Gobert, 2007 .

Distinctness and Sharing Domains for Static Analysis of Java Programs

Agostino Cortesi, Baudouin Le Charlier, Isabelle Pollet, 2001, ECOOP.

Groundness analysis for Prolog: implementation and evaluation of domain prop

Pascal Van Hentenryck, Baudouin Le Charlier, B. L. Charlier, 1993, PEPM '93.

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

Antoine Rauzy, Kaninda Musumbu, Baudouin Le Charlier, 1993, PLILP.

The HoneyTank: a scalable approach to collect malicious internet traffic

Olivier Bonaventure, Baudouin Le Charlier, Xavier Brouckaert, 2008, Int. J. Crit. Infrastructures.

A Program That Simplifies Regular Expressions (Tool paper)

B. L. Charlier, 2023, ArXiv.

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

Pascal Van Hentenryck, Sabina Rossi, Baudouin Le Charlier, 1994, ILPS.

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

Pascal Van Hentenryck, Laurent D. Michel, Baudouin Le Charlier, 1993, WSA.

Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation

Pascal Van Hentenryck, Vincent Englebert, Didier Roland, 1992, Softw. Pract. Exp..

A Generic Abstract Interpretation Algorithm and its Complexity Analysis

Pascal Van Hentenryck, Kaninda Musumbu, Baudouin Le Charlier, 1990, ICLP.