default search action
Baudouin Le Charlier
Person information
- affiliation: Université catholique de Louvain, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i4]Baudouin Le Charlier:
A Program That Simplifies Regular Expressions (Tool paper). CoRR abs/2307.06436 (2023) - 2020
- [i3]Baudouin Le Charlier:
Experimental Evaluation of a Method to Simplify Expressions. CoRR abs/2003.06203 (2020)
2010 – 2019
- 2017
- [c47]Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville
:
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. IJCAI 2017: 681-687 - 2016
- [c46]Baudouin Le Charlier, Mêton Mêton Atindehou:
A Data Structure to Handle Large Sets of Equal Terms. SCSS 2016: 81-94 - 2015
- [c45]Baudouin Le Charlier, Mêton Mêton Atindehou:
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. IWIL@LPAR 2015: 37-51
2000 – 2009
- 2008
- [j11]Nicolas Vanderavero, Xavier Brouckaert, Olivier Bonaventure, Baudouin Le Charlier:
The HoneyTank: a scalable approach to collect malicious internet traffic. Int. J. Crit. Infrastructures 4(1/2): 185-205 (2008) - [j10]Francçois Gobert, Baudouin Le Charlier:
Un système vérifiant des propriétés opérationnelles de programmes logiques. Tech. Sci. Informatiques 27(8): 1033-1064 (2008) - [c44]Gustavo A. Ospina, Baudouin Le Charlier:
Formalisation of C Language Interfaces. SOS@ICALP 2008: 67-84 - 2007
- [c43]Gustavo A. Ospina, Baudouin Le Charlier:
Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. IESA 2007: 581-586 - [i2]Francçois Gobert, Baudouin Le Charlier:
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation. CoRR abs/0710.5895 (2007) - 2006
- [c42]Isabelle Dony, Baudouin Le Charlier:
A tool for helping teach a programming method. ITiCSE 2006: 212-216 - 2005
- [c41]Isabelle Pollet, Baudouin Le Charlier:
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. AIOOL@VMCAI 2005: 85-98 - 2004
- [c40]Isabelle Dony, Baudouin Le Charlier:
A Program Verification System Based on Oz. MOZ 2004: 41-52 - 2002
- [j9]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
Sequence-based abstract interpretation of Prolog. Theory Pract. Log. Program. 2(1): 25-84 (2002) - 2001
- [c39]Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98 - [c38]Agostino Cortesi
Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405 - [c37]Gustavo A. Ospina, Baudouin Le Charlier:
On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE 2001 - [c36]Agostino Cortesi
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. APPIA-GULP-PRODE 2001: 29-44 - 2000
- [j8]Agostino Cortesi
Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000) - [i1]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
Sequence-Based Abstract Interpretation of Prolog. CoRR cs.LO/0010028 (2000)
1990 – 1999
- 1999
- [j7]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
- [j6]Baudouin Le Charlier, Pierre Flener:
Specifications are necessarily informal or: Some more myths of formal methods. J. Syst. Softw. 40(3): 275-296 (1998) - [c35]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 - 1997
- [c34]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE 1997: 189-200 - [c33]Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Behavioural Properties of Prolog Programs. ASIAN 1997: 225-238 - [c32]Abdelaziz Mounji, Baudouin Le Charlier:
Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis. NDSS 1997: 27-37 - [c31]Baudouin Le Charlier, Pierre Flener:
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS 1997: 379-387 - 1996
- [c30]Baudouin Le Charlier:
Abstract Interpretation and Application to Interactive System Verification. DSV-IS 1996: 46-72 - [c29]Naji Habra, Baudouin Le Charlier:
Unified Relational Framework for Programming Paradigm Combination. FroCoS 1996: 357-375 - [c28]Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi:
Specification-Based Automatic Verification of Prolog Programs. LOPSTR 1996: 38-57 - 1995
- [j5]Baudouin Le Charlier, Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32(3): 209-270 (1995) - [j4]Pascal Van Hentenryck, Agostino Cortesi
Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995) - [j3]Pascal Van Hentenryck, Agostino Cortesi
Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995) - [c27]Baudouin Le Charlier, Pascal Van Hentenryck:
A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC 1995: 113-125 - [c26]Baudouin Le Charlier, Sabina Rossi:
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. LPE 1995 - [c25]D. Zampuniéris, Baudouin Le Charlier:
An Efficient Algorithm to Compute the Synchronized Product. MASCOTS 1995: 77-81 - [c24]Abdelaziz Mounji, Baudouin Le Charlier, D. Zampuniéris, Naji Habra:
Distributed audit trail analysis. NDSS 1995: 102-113 - 1994
- [j2]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) - [c23]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) 1994: 92-106 - [c22]Pascal Van Hentenryck, Agostino Cortesi
Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348 - [c21]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239 - [c20]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS 1994: 157-171 - [c19]C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck:
Cardinality Analysis of Prolog. ILPS 1994: 457-471 - [c18]Baudouin Le Charlier:
Abstract Interpretation and Finite Domain Symbolic Constraints. Constraint Programming 1994: 147-170 - [e2]Baudouin Le Charlier:
Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Lecture Notes in Computer Science 864, Springer 1994, ISBN 3-540-58485-4 [contents] - 1993
- [j1]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. Exp. 23(4): 419-459 (1993) - [c17]Pierre De Boeck, Baudouin Le Charlier:
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR 1993: 229-245 - [c16]Baudouin Le Charlier, Pascal Van Hentenryck:
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. PEPM 1993: 99-110 - [c15]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 - [c14]Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14 - [c13]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 - [e1]Mireille Ducassé, Baudouin Le Charlier, Yow-Jian Lin, L. Ümit Yalçinalp:
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada. IRISA, Campus de Beaulieu, France 1993 [contents] - 1992
- [c12]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 - [c11]Baudouin Le Charlier, Pascal Van Hentenryck:
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL 1992: 137-146 - [c10]Baudouin Le Charlier, Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog. JICSLP 1992: 750-764 - [c9]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- - [c8]Pierre De Boeck, Jean Henrard, Baudouin Le Charlier:
FOLON: An Environment for Declarative Construction of Logic Programs. LPE 1992: 3-8 - [c7]Jean Henrard, Baudouin Le Charlier:
FOLON: An Environment for Declarative Construction of Logic Programs. PLILP 1992: 217-231 - [c6]Vincent Englebert
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. PLILP 1992: 310-325 - [c5]Baudouin Le Charlier, Pascal Van Hentenryck:
On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246 - 1991
- [c4]Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck:
A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP 1991: 64-78 - [c3]Pierre De Boeck, Baudouin Le Charlier:
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA 1991: 165-172 - 1990
- [c2]Pierre De Boeck, Baudouin Le Charlier:
Static Type Analysis of Prolog Procedures for Ensuring Correctness. PLILP 1990: 222-237
1970 – 1979
- 1974
- [c1]Jean-Luc Hainaut, Baudouin Le Charlier:
An Extensible Semantic Model of Data Base and Its Data language. IFIP Congress 1974: 1026-1030
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: