Baudouin Le Charlier

According to our database1, Baudouin Le Charlier
  • authored at least 60 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
A Data Structure to Handle Large Sets of Equal Terms.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.
Proceedings of the IWIL@LPAR 2015, 2015

2009
Formalisation of C Language Interfaces.
Electr. Notes Theor. Comput. Sci., 2009

2008
Un système vérifiant des propriétés opérationnelles de programmes logiques.
Technique et Science Informatiques, 2008

The HoneyTank: a scalable approach to collect malicious internet traffic.
IJCIS, 2008

2007
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
CoRR, 2007

Towards precise descriptions for programming language interoperability: a general approach based on operational semantics.
Proceedings of the Enterprise Interoperability II, 2007

2006
A tool for helping teach a programming method.
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.
Electr. Notes Theor. Comput. Sci., 2005

2004
A Program Verification System Based on Oz.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

2002
Sequence-based abstract interpretation of Prolog.
TPLP, 2002

2001
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Electr. Notes Theor. Comput. Sci., 2001

On the Design of a Tool for Supporting the Construction of Logic Programs.
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

Reexecution-Based Analysis of Logic Programs with Delay Declarations.
Proceedings of the Perspectives of System Informatics, 2001

Distinctness and Sharing Domains for Static Analysis of Java Programs.
Proceedings of the ECOOP 2001, 2001

2000
Combinations of abstract domains for logic programming: open product and generic pattern construction.
Sci. Comput. Program., 2000

Sequence-Based Abstract Interpretation of Prolog
CoRR, 2000

1999
Automated Verification of Prolog Programs.
J. Log. Program., 1999

1998
Specifications are necessarily informal or: Some more myths of formal methods.
Journal of Systems and Software, 1998

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).
Proceedings of the Static Analysis, 4th International Symposium, 1997

Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis.
Proceedings of the Network and Distributed System Security Symposium, 1997

Automated Verification of Behavioural Properties of Prolog Programs.
Proceedings of the Advances in Computing Science, 1997

Automated Behavioural Verification of Prolog Programs.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Specification-Based Automatic Verification of Prolog Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Unified Relational Framework for Programming Paradigm Combination.
Proceedings of the Frontiers of Combining Systems, 1996

Abstract Interpretation and Application to Interactive System Verification.
Proceedings of the Design, 1996

1995
Evaluation of the Domain Prop.
J. Log. Program., 1995

Type Analysis of Prolog Using Type Graphs.
J. Log. Program., 1995

Reexecution in Abstract Interpretation of Prolog.
Acta Inf., 1995

Distributed audit trail analysis.
Proceedings of the 1995 Symposium on Network and Distributed System Security, 1995

An Efficient Algorithm to Compute the Synchronized Product.
Proceedings of the MASCOTS '95, 1995

Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
Proceedings of the 7th Workshop on Logic Programming Environments, 1995

A generic fixpoint semantics for PROLOG and its application for abstract interpretation.
Proceedings of the JFPLC'95, 1995

1994
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.
ACM Trans. Program. Lang. Syst., 1994

Abstract Interpretation and Finite Domain Symbolic Constraints
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
Proceedings of the Logic Programming, 1994

Cardinality Analysis of Prolog.
Proceedings of the Logic Programming, 1994

Combinations of Abstract Domains for Logic Programming.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Type Analysis of Prolog Using Type Graphs.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

An Abstract Interpretation Framework for (almost) Full Prolog.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.
Softw., Pract. Exper., 1993

The Impact of Granularity in Abstract Interpretation of Prolog.
Proceedings of the Static Analysis, Third International Workshop, 1993

Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.
Proceedings of the Static Analysis, Third International Workshop, 1993

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.
Proceedings of the Logic Program Synthesis and Transformation, 1993

1992
On the Design of Generic Abstract Interpretation Frameworks.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux), 1992

FOLON: An Environment for Declarative Construction of Logic Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

FOLON: An Environment for Declarative Construction of Logic Programs.
Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite.
Proceedings of the JFPL'92, 1992

Reexecution in Abstract Interpretation of Prolog.
Proceedings of the Logic Programming, 1992

Experimental evaluation of a generic abstract interpretation algorithm for Prolog.
Proceedings of the ICCL'92, 1992

ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis.
Proceedings of the Computer Security, 1992

1991
Automatic Construction of Prolog Primitives for Type Checking Analysis.
Proceedings of the Actes JTASPEFL'91 (Bordeaux), 1991

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
Proceedings of the Logic Programming, 1991

1990
Static Type Analysis of Prolog Procedures for Ensuring Correctness.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1974
An Extensible Semantic Model of Data Base and Its Data language.
IFIP Congress, 1974


  Loading...