Search the dblp DataBase
Baudouin Le Charlier :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Luc Hainaut , Baudouin Le Charlier An Extensible Semantic Model of Data Base and Its Data language. [Citation Graph (5, 0)][DBLP ] IFIP Congress, 1974, pp:1026-1030 [Conf ] Baudouin Le Charlier , Christophe Leclère , Sabina Rossi , Agostino Cortesi Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:189-200 [Conf ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck An Abstract Interpretation Framework for (almost) Full Prolog. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (1), 1994, pp:92-106 [Conf ] Baudouin Le Charlier , Christophe Leclère , Sabina Rossi , Agostino Cortesi Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP ] ASIAN, 1997, pp:225-238 [Conf ] Baudouin Le Charlier Abstract Interpretation and Application to Interactive System Verification. [Citation Graph (0, 0)][DBLP ] DSV-IS, 1996, pp:46-72 [Conf ] Isabelle Pollet , Baudouin Le Charlier , Agostino Cortesi Distinctness and Sharing Domains for Static Analysis of Java Programs. [Citation Graph (0, 0)][DBLP ] ECOOP, 2001, pp:77-98 [Conf ] Agostino Cortesi , Baudouin Le Charlier , Sabina Rossi Reexecution-Based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:395-405 [Conf ] Naji Habra , Baudouin Le Charlier , Abdelaziz Mounji , Isabelle Mathieu ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. [Citation Graph (0, 0)][DBLP ] ESORICS, 1992, pp:435-450 [Conf ] Naji Habra , Baudouin Le Charlier Unified Relational Framework for Programming Paradigm Combination. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:357-375 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Experimental evaluation of a generic abstract interpretation algorithm for Prolog. [Citation Graph (0, 0)][DBLP ] ICCL, 1992, pp:137-146 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Reexecution in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:750-764 [Conf ] Baudouin Le Charlier , Kaninda Musumbu , Pascal Van Hentenryck A Generic Abstract Interpretation Algorithm and its Complexity Analysis. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:64-78 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] JFPL, 1992, pp:386-0 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck A generic fixpoint semantics for PROLOG and its application for abstract interpretation. [Citation Graph (0, 0)][DBLP ] JFPLC, 1995, pp:113-125 [Conf ] Agostino Cortesi , Baudouin Le Charlier , Sabina Rossi Specification-Based Automatic Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1996, pp:38-57 [Conf ] Dante Baldan , Baudouin Le Charlier , Christophe Leclère , Isabelle Pollet A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:21-40 [Conf ] Pierre De Boeck , Baudouin Le Charlier Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1993, pp:229-245 [Conf ] Gustavo A. Ospina , Baudouin Le Charlier On the Design of a Tool for Supporting the Construction of Logic Programs. [Citation Graph (0, 0)][DBLP ] WLPE, 2001, pp:- [Conf ] Pierre De Boeck , Jean Henrard , Baudouin Le Charlier FOLON: An Environment for Declarative Construction of Logic Programs. [Citation Graph (0, 0)][DBLP ] LPE, 1992, pp:3-8 [Conf ] Baudouin Le Charlier , Sabina Rossi Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. [Citation Graph (0, 0)][DBLP ] LPE, 1995, pp:- [Conf ] D. Zampuniéris , Baudouin Le Charlier An Efficient Algorithm to Compute the Synchronized Product. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1995, pp:77-81 [Conf ] Isabelle Dony , Baudouin Le Charlier A Program Verification System Based on Oz. [Citation Graph (0, 0)][DBLP ] MOZ, 2004, pp:41-52 [Conf ] Abdelaziz Mounji , Baudouin Le Charlier Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis. [Citation Graph (0, 0)][DBLP ] NDSS, 1997, pp:- [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop . [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:99-110 [Conf ] Pascal Van Hentenryck , Agostino Cortesi , Baudouin Le Charlier Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP ] PLDI, 1994, pp:337-348 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PLILP, 1993, pp:75-91 [Conf ] Vincent Englebert , Baudouin Le Charlier , Didier Roland , Pascal Van Hentenryck Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. [Citation Graph (0, 0)][DBLP ] PLILP, 1992, pp:310-325 [Conf ] Pierre De Boeck , Baudouin Le Charlier Static Type Analysis of Prolog Procedures for Ensuring Correctness. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:222-237 [Conf ] Jean Henrard , Baudouin Le Charlier FOLON: An Environment for Declarative Construction of Logic Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1992, pp:217-231 [Conf ] Agostino Cortesi , Baudouin Le Charlier , Pascal Van Hentenryck Combinations of Abstract Domains for Logic Programming. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:227-239 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:15-26 [Conf ] Baudouin Le Charlier , Pierre Flener On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] SAS, 1997, pp:379-387 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck On the Design of Generic Abstract Interpretation Frameworks. [Citation Graph (0, 0)][DBLP ] WSA, 1992, pp:229-246 [Conf ] Pierre De Boeck , Baudouin Le Charlier Automatic Construction of Prolog Primitives for Type Checking Analysis. [Citation Graph (0, 0)][DBLP ] JTASPEFT/WSA, 1991, pp:165-172 [Conf ] Pascal Van Hentenryck , Olivier Degimbe , Baudouin Le Charlier , Laurent Michel The Impact of Granularity in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:1-14 [Conf ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:157-171 [Conf ] C. Braem , Baudouin Le Charlier , S. Modart , Pascal Van Hentenryck Cardinality Analysis of Prolog. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:457-471 [Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Reexecution in Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:3, pp:209-270 [Journal ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck Sequence-Based Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Agostino Cortesi , Sabina Rossi , Baudouin Le Charlier Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal ] Isabelle Pollet , Baudouin Le Charlier Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:85-98 [Journal ] Baudouin Le Charlier , Christophe Leclère , Sabina Rossi , Agostino Cortesi Automated Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:39, n:1-3, pp:3-42 [Journal ] Pascal Van Hentenryck , Agostino Cortesi , Baudouin Le Charlier Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1995, v:22, n:3, pp:179-209 [Journal ] Pascal Van Hentenryck , Agostino Cortesi , Baudouin Le Charlier Evaluation of the Domain Prop . [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1995, v:23, n:3, pp:237-278 [Journal ] Baudouin Le Charlier , Pierre Flener Specifications are necessarily informal or: Some more myths of formal methods. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1998, v:40, n:3, pp:275-296 [Journal ] Baudouin Le Charlier Abstract Interpretation and Finite Domain Symbolic Constraints [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:147-170 [Journal ] Agostino Cortesi , Baudouin Le Charlier , Pascal Van Hentenryck Combinations of abstract domains for logic programming: open product and generic pattern construction. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2000, v:38, n:1-3, pp:27-71 [Journal ] Vincent Englebert , Baudouin Le Charlier , Didier Roland , Pascal Van Hentenryck Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:4, pp:419-459 [Journal ] Baudouin Le Charlier , Pascal Van Hentenryck Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:1, pp:35-101 [Journal ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck Sequence-based abstract interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] TPLP, 2002, v:2, n:1, pp:25-84 [Journal ] Isabelle Dony , Baudouin Le Charlier A tool for helping teach a programming method. [Citation Graph (0, 0)][DBLP ] ITiCSE, 2006, pp:212-216 [Conf ] Francois Gobert , Baudouin Le Charlier Source-to-source optimizing transformations of Prolog programs based on abstract interpretation [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. [Citation Graph (, )][DBLP ] Formalisation of C Language Interfaces. [Citation Graph (, )][DBLP ] Search in 0.091secs, Finished in 0.095secs