СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
Abstract Interpretation and Finite Domain Symbolic Constraints |
1995 |
Le Charlier B. |
|
|
|
Lecture Notes in Computer Science |
19.04.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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
Reexecution in Abstract Interpretation of Prolog |
1995 |
Le Charlier B., Van Hentenryck P. |
|
|
|
Acta Informatica |
04.07.1995 |
СТ |
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 |
СТ |
Specification-Based Automatic Verification of Prolog Programs |
1997 |
Cortesi A., Le Charlier B., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
СТ |
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 |
СТ |
Type Analysis of Prolog Using Type Graphs |
1994 |
Van Hentenryck P., Cortesi A., Le Charlier B. |
|
|
|
SIGPLAN Notices |
22.08.1994 |