Вы здесь

Le Charlier B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ FOLON: An Environment for Declarative Construction of Logic Programs 1992 Henrard J., Le Charlier B. Lecture Notes in Computer Science 13.10.1992
СТ Genetic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation 1992 Englebert V., Le Charlier B., Ronald D., Van Hentenryck P. Lecture Notes in Computer Science 13.10.1992
СТ On the Design of Generic Abstract Interpretation Frameworks 1992 Le Charlier B., Van Hentenryck P. BIGRE 11.11.1992
СТ ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis 1992 Habra N., Le Charlier B., Mounji A., Mathieu I. Lecture Notes in Computer Science 24.12.1992
СТ Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains 1993 Corsini M. -M., Musumbu K., Rauzy A., Le Charlier B. Lecture Notes in Computer Science 22.09.1993
СТ Optimization Tecniques for General Purpose Fixpoint Algorithms Practical Efficiency for the Abstract Interpretation of Prolog 1993 Le Charlier B., Degimbe O., Michel L., Van Hentenryck P. Lecture Notes in Computer Science 11.12.1993
СТ The Impact of Granularity in Abstract Interpretation of Prolog 1993 Van Hentenryck P., Degimbe O., Le Charlier B., Michel L. Lecture Notes in Computer Science 11.12.1993
СТ Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG 1994 Le Charlier B., Van Hentenryck P. ACM Trans. Programming Languages and Systems 19.04.1994
СТ Type Analysis of Prolog Using Type Graphs 1994 Van Hentenryck P., Cortesi A., Le Charlier B. SIGPLAN Notices 22.08.1994
СТ A Generic Abstract Interpretation Algorithm and Its Complexity Analysis 1991 Le Charlier B., Musumbu K., Van Hentenryck P. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Abstract Interpretation and Finite Domain Symbolic Constraints 1995 Le Charlier B. Lecture Notes in Computer Science 19.04.1995
СТ Reexecution in Abstract Interpretation of Prolog 1995 Le Charlier B., Van Hentenryck P. Acta Informatica 04.07.1995
СТ An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 1994 Le Charlier B., Rossi S., Van Hentenryck P. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996
СТ Cardinality Analysis of Prolog 1994 Braem C., Le Charlier B., Modart S., Van Hentenryck P. Logic Programming. Proc. of the 1994 Intern. Symp. 31.01.1996
СТ Specification-Based Automatic Verification of Prolog Programs 1997 Cortesi A., Le Charlier B., Rossi S. Lecture Notes in Computer Science 12.04.1997
СТ Combinations of Abstract Domains for Logic Programming 1994 Cortesi A., Le Charlier B., Van Hentenryck P. Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages 29.08.1997
СТ On the Desirable Link Between Theory and Practice in Abstract Interpretation 1997 Le Charlier B., Flener P. Lecture Notes in Computer Science 20.09.1997
СТ Automated Verification of Behavioural Properties of Prolog Programs 1997 Le Charlier B., Leclere C., Rossi S., Cortesi A. Lecture Notes in Computer Science 20.12.1997
СТ A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury 1999 Baldan D., Le Charlier B., Leclere C., Pollet I. Lecture Notes in Computer Science 16.04.1999
СТ Distinctness and Sharing Domains for Static Analysis of Java Programs 2001 Pollet I., Le Charlier B., Cortesi A. Lecture Notes in Computer Science 14.07.2001
СТ Reexecution-Based Analysis of Logic Programs with Delay Declarations 2001 Cortesi A., Le Charlier B., Rossi S. Lecture Notes in Computer Science 08.02.2002
СТ A Program Verification System Bazed on Oz 2005 Dony I., Le Charlier B. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.04.2005