| 2008 |
|---|
| 54 | EE | Francois Gobert,
Baudouin Le Charlier:
Un système vérifiant des propriétés opérationnelles de programmes logiques.
Technique et Science Informatiques 27(8): 1033-1064 (2008) |
| 2007 |
|---|
| 53 | EE | Francois Gobert,
Baudouin Le Charlier:
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
CoRR abs/0710.5895: (2007) |
| 2006 |
|---|
| 52 | EE | Isabelle Dony,
Baudouin Le Charlier:
A tool for helping teach a programming method.
ITiCSE 2006: 212-216 |
| 2005 |
|---|
| 51 | EE | Isabelle Pollet,
Baudouin Le Charlier:
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.
Electr. Notes Theor. Comput. Sci. 131: 85-98 (2005) |
| 2004 |
|---|
| 50 | EE | Isabelle Dony,
Baudouin Le Charlier:
A Program Verification System Based on Oz.
MOZ 2004: 41-52 |
| 2002 |
|---|
| 49 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
Sequence-based abstract interpretation of Prolog.
TPLP 2(1): 25-84 (2002) |
| 2001 |
|---|
| 48 | EE | Isabelle Pollet,
Baudouin Le Charlier,
Agostino Cortesi:
Distinctness and Sharing Domains for Static Analysis of Java Programs.
ECOOP 2001: 77-98 |
| 47 | EE | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
Ershov Memorial Conference 2001: 395-405 |
| 46 | EE | Gustavo A. Ospina,
Baudouin Le Charlier:
On the Design of a Tool for Supporting the Construction of Logic Programs.
WLPE 2001 |
| 45 | EE | Agostino Cortesi,
Sabina Rossi,
Baudouin Le Charlier:
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 2000 |
|---|
| 44 | EE | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
Sequence-Based Abstract Interpretation of Prolog
CoRR cs.LO/0010028: (2000) |
| 43 | | Agostino Cortesi,
Baudouin Le Charlier,
Pascal Van Hentenryck:
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program. 38(1-3): 27-71 (2000) |
| 1999 |
|---|
| 42 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Prolog Programs.
J. Log. Program. 39(1-3): 3-42 (1999) |
| 1998 |
|---|
| 41 | EE | Dante Baldan,
Baudouin Le Charlier,
Christophe Leclère,
Isabelle Pollet:
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
LOPSTR 1998: 21-40 |
| 40 | EE | Baudouin Le Charlier,
Pierre Flener:
Specifications are necessarily informal or: Some more myths of formal methods.
Journal of Systems and Software 40(3): 275-296 (1998) |
| 1997 |
|---|
| 39 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs.
APPIA-GULP-PRODE 1997: 189-200 |
| 38 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Behavioural Properties of Prolog Programs.
ASIAN 1997: 225-238 |
| 37 | EE | Abdelaziz Mounji,
Baudouin Le Charlier:
Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis.
NDSS 1997 |
| 36 | | Baudouin Le Charlier,
Pierre Flener:
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).
SAS 1997: 379-387 |
| 1996 |
|---|
| 35 | | Baudouin Le Charlier:
Abstract Interpretation and Application to Interactive System Verification.
DSV-IS 1996: 46-72 |
| 34 | | Naji Habra,
Baudouin Le Charlier:
Unified Relational Framework for Programming Paradigm Combination.
Frontiers of Combining Systems (FroCos) 1996: 357-375 |
| 33 | | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Specification-Based Automatic Verification of Prolog Programs.
LOPSTR 1996: 38-57 |
| 1995 |
|---|
| 32 | | Baudouin Le Charlier,
Pascal Van Hentenryck:
A generic fixpoint semantics for PROLOG and its application for abstract interpretation.
JFPLC 1995: 113-125 |
| 31 | | Baudouin Le Charlier,
Sabina Rossi:
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
LPE 1995 |
| 30 | | D. Zampuniéris,
Baudouin Le Charlier:
An Efficient Algorithm to Compute the Synchronized Product.
MASCOTS 1995: 77-81 |
| 29 | | Baudouin Le Charlier,
Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog
Acta Inf. 32(3): 209-270 (1995) |
| 28 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs.
J. Log. Program. 22(3): 179-209 (1995) |
| 27 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Evaluation of the Domain Prop.
J. Log. Program. 23(3): 237-278 (1995) |
| 1994 |
|---|
| 26 | | Baudouin Le Charlier:
Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings
Springer 1994 |
| 25 | | Baudouin Le Charlier:
Abstract Interpretation and Finite Domain Symbolic Constraints
Constraint Programming 1994: 147-170 |
| 24 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog.
GULP-PRODE (1) 1994: 92-106 |
| 23 | | Pascal Van Hentenryck,
Agostino Cortesi,
Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs.
PLDI 1994: 337-348 |
| 22 | | Agostino Cortesi,
Baudouin Le Charlier,
Pascal Van Hentenryck:
Combinations of Abstract Domains for Logic Programming.
POPL 1994: 227-239 |
| 21 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
SLP 1994: 157-171 |
| 20 | | C. Braem,
Baudouin Le Charlier,
S. Modart,
Pascal Van Hentenryck:
Cardinality Analysis of Prolog.
SLP 1994: 457-471 |
| 19 | EE | Baudouin Le Charlier,
Pascal Van Hentenryck:
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.
ACM Trans. Program. Lang. Syst. 16(1): 35-101 (1994) |
| 1993 |
|---|
| 18 | | Pierre De Boeck,
Baudouin Le Charlier:
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.
LOPSTR 1993: 229-245 |
| 17 | | Baudouin Le Charlier,
Pascal Van Hentenryck:
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop.
PEPM 1993: 99-110 |
| 16 | | Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy,
Baudouin Le Charlier:
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
PLILP 1993: 75-91 |
| 15 | | Pascal Van Hentenryck,
Olivier Degimbe,
Baudouin Le Charlier,
Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog.
WSA 1993: 1-14 |
| 14 | | Baudouin Le Charlier,
Olivier Degimbe,
Laurent Michel,
Pascal Van Hentenryck:
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.
WSA 1993: 15-26 |
| 13 | | Vincent Englebert,
Baudouin Le Charlier,
Didier Roland,
Pascal Van Hentenryck:
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.
Softw., Pract. Exper. 23(4): 419-459 (1993) |
| 1992 |
|---|
| 12 | EE | Naji Habra,
Baudouin Le Charlier,
Abdelaziz Mounji,
Isabelle Mathieu:
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis.
ESORICS 1992: 435-450 |
| 11 | EE | Baudouin Le Charlier,
Pascal Van Hentenryck:
Experimental evaluation of a generic abstract interpretation algorithm for Prolog.
ICCL 1992: 137-146 |
| 10 | | Baudouin Le Charlier:
Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite.
JFPL 1992: 386- |
| 9 | | Baudouin Le Charlier,
Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog.
JICSLP 1992: 750-764 |
| 8 | | Pierre De Boeck,
Jean Henrard,
Baudouin Le Charlier:
FOLON: An Environment for Declarative Construction of Logic Programs.
LPE 1992: 3-8 |
| 7 | | Jean Henrard,
Baudouin Le Charlier:
FOLON: An Environment for Declarative Construction of Logic Programs.
PLILP 1992: 217-231 |
| 6 | | Vincent Englebert,
Baudouin Le Charlier,
Didier Roland,
Pascal Van Hentenryck:
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.
PLILP 1992: 310-325 |
| 5 | | Baudouin Le Charlier,
Pascal Van Hentenryck:
On the Design of Generic Abstract Interpretation Frameworks.
WSA 1992: 229-246 |
| 1991 |
|---|
| 4 | | Baudouin Le Charlier,
Kaninda Musumbu,
Pascal Van Hentenryck:
A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
ICLP 1991: 64-78 |
| 3 | | Pierre De Boeck,
Baudouin Le Charlier:
Automatic Construction of Prolog Primitives for Type Checking Analysis.
JTASPEFT/WSA 1991: 165-172 |
| 1990 |
|---|
| 2 | | Pierre De Boeck,
Baudouin Le Charlier:
Static Type Analysis of Prolog Procedures for Ensuring Correctness.
PLILP 1990: 222-237 |
| 1974 |
|---|
| 1 | | Jean-Luc Hainaut,
Baudouin Le Charlier:
An Extensible Semantic Model of Data Base and Its Data language.
IFIP Congress 1974: 1026-1030 |
