The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Baudouin Le Charlier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Baudouin Le Charlier
    Abstract Interpretation and Application to Interactive System Verification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:46-72 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Baudouin Le Charlier, Pascal Van Hentenryck
    Reexecution in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:750-764 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Isabelle Dony, Baudouin Le Charlier
    A Program Verification System Based on Oz. [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:41-52 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Baudouin Le Charlier
    Abstract Interpretation and Finite Domain Symbolic Constraints [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:147-170 [Journal]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. Isabelle Dony, Baudouin Le Charlier
    A tool for helping teach a programming method. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2006, pp:212-216 [Conf]
  52. 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]

  53. Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. [Citation Graph (, )][DBLP]


  54. Formalisation of C Language Interfaces. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.029secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002