dblp.uni-trier.dewww.uni-trier.de

Baudouin Le Charlier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
54EEFrancois 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
53EEFrancois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR abs/0710.5895: (2007)
2006
52EEIsabelle Dony, Baudouin Le Charlier: A tool for helping teach a programming method. ITiCSE 2006: 212-216
2005
51EEIsabelle 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
50EEIsabelle 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
48EEIsabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98
47EEAgostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405
46EEGustavo A. Ospina, Baudouin Le Charlier: On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE 2001
45EEAgostino 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
44EEBaudouin 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
41EEDante 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
40EEBaudouin 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
37EEAbdelaziz 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
19EEBaudouin 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
12EENaji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu: ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. ESORICS 1992: 435-450
11EEBaudouin 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

Coauthor Index

1Dante Baldan [41]
2Pierre De Boeck [2] [3] [8] [18]
3C. Braem [20]
4Marc-Michel Corsini [16]
5Agostino Cortesi [22] [23] [27] [28] [33] [38] [39] [42] [43] [45] [47] [48]
6Olivier Degimbe [14] [15]
7Isabelle Dony [50] [52]
8Vincent Englebert [6] [13]
9Pierre Flener [36] [40]
10Francois Gobert [53] [54]
11Naji Habra [12] [34]
12Jean-Luc Hainaut [1]
13Jean Henrard [7] [8]
14Pascal Van Hentenryck [4] [5] [6] [9] [11] [13] [14] [15] [17] [19] [20] [21] [22] [23] [24] [27] [28] [29] [32] [43] [44] [49]
15Christophe Leclère [38] [39] [41] [42]
16Isabelle Mathieu [12]
17Laurent D. Michel (Laurent Michel) [14] [15]
18S. Modart [20]
19Abdelaziz Mounji [12] [37]
20Kaninda Musumbu [4] [16]
21Gustavo A. Ospina [46]
22Isabelle Pollet [41] [48] [51]
23Antoine Rauzy [16]
24Didier Roland [6] [13]
25Sabina Rossi [21] [24] [31] [33] [38] [39] [42] [44] [45] [47] [49]
26D. Zampuniéris [30]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)