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 |