-
2
-
-
0343515279
-
Cardinality Analysis of Prolog
-
In M. Bruynooghe, editor, Ithaca NY, USA, Novembe. MIT Press
-
C. Braem, B. Le Charlier, S. Modard, and P. Van Hentenryck. Cardinality Analysis of Prolog. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium (ILPS'94), Ithaca NY, USA, November 1994. MIT Press.
-
(1994)
Proc. of the International Logic Programming Symposium (ILPS'94)
-
-
Braem, C.1
Le Charlier, B.2
Modard, S.3
Van Hentenryck, P.4
-
3
-
-
84949430993
-
Specification-Based Automatic Verification of Logic Programs
-
Springer Verlag, August
-
A. Cortesi, B. Le Charlier, and S. Rossi. Specification-Based Automatic Verification of Logic Programs. In Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96, volume 1207 of LNCS. Springer Verlag, August 1996.
-
(1996)
Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96, volume 1207 of LNCS
-
-
Cortesi, A.1
Le Charlier, B.2
Rossi, S.3
-
4
-
-
0027961227
-
Combination of Abstract Domains for Logic Programming
-
Portland, Oregon, January
-
A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Combination of Abstract Domains for Logic Programming. In Proc. of the 21th ACM Symposium on Principles of Programming Languages (POPL'04), Portland, Oregon, January 1994.
-
(1994)
Proc. of the 21th ACM Symposium on Principles of Programming Languages (POPL'04)
-
-
Cortesi, A.1
Le Charlier, B.2
Van Hentenryck, P.3
-
6
-
-
0344203286
-
Static Type Analysis of Prolog Procedures for Ensuring Correctness
-
LNCS 456, Springer-Verlag, Linköping, Sweden
-
P. De Boeck and B. Le Charlier. Static Type Analysis of Prolog Procedures for Ensuring Correctness. In PLILP'90, LNCS 456, Springer-Verlag, pages 222-237, Linköping, Sweden, 1990.
-
(1990)
PLILP'90
, pp. 222-237
-
-
De Boeck, P.1
Le Charlier, B.2
-
8
-
-
84957034321
-
The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization
-
LNCS 864, Springer-Verlag
-
Thomas W. Getzinger. The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization. In SAS'94, LNCS 864, Springer-Verlag, pages 1-25, 1994.
-
(1994)
SAS'94
, pp. 1-25
-
-
Getzinger, T.W.1
-
9
-
-
84949456522
-
FOLON: An Environment for Declarative Construction of Logic Programs
-
In M. Bruynooghe and M. Wirsing, editors,, LNCS 631, Springer-Verlag, Leuven
-
J. Henrard and B. Le Charlier. FOLON: An Environment for Declarative Construction of Logic Programs. In M. Bruynooghe and M. Wirsing, editors, PLILP'92, LNCS 631, Springer-Verlag, Leuven, 1992.
-
(1992)
PLILP'92
-
-
Henrard, J.1
Le Charlier, B.2
-
10
-
-
84957713654
-
-
Technical Report RP-97-003, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, March
-
B. Le Charlier, C. Leclère, S. Rossi, and A. Cortesi. Automated Verification of Prolog Programs. Technical Report RP-97-003, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, March 1997.
-
(1997)
Automated Verification of Prolog Programs
-
-
Le Charlier, B.1
Leclère, C.2
Rossi, S.3
Cortesi, A.4
-
11
-
-
0345496999
-
-
Technical Report RR-96-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, February
-
B. Le Charlier and S. Rossi. Sequence-Based Abstract Semantics of Prolog. Technical Report RR-96-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, February 1996.
-
(1996)
Sequence-Based Abstract Semantics of Prolog
-
-
Le Charlier, B.1
Rossi, S.2
-
12
-
-
84957690345
-
An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut
-
In M. Bruynooghe, editor, Ithaca NY, USA, November 1994. MIT Press
-
B. Le Charlier, S. Rossi, and P. Van Hentenryck. An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut. In M. Bruynooghe, editor, ILPS'04, Ithaca NY, USA, November 1994. MIT Press.
-
ILPS'04
-
-
Le Charlier, B.1
Rossi, S.2
Van Hentenryck, P.3
-
13
-
-
0347156241
-
-
Technical Report RR-97-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'Informatique, January
-
B. Le Charlier, S. Rossi, and P. Van Hentenryck. Sequence-Based Abstract Interpretation of Prolog. Technical Report RR-97-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'Informatique, January 1997.
-
(1997)
Sequence-Based Abstract Interpretation of Prolog
-
-
Le Charlier, B.1
Rossi, S.2
Van Hentenryck, P.3
-
15
-
-
21844493431
-
Reexecution in Abstract Interpretation of Prolog
-
B. Le Charlier and P. Van Hentenryck. Reexecution in Abstract Interpretation of Prolog. Acta Informatica, 32:209-253, 1995.
-
(1995)
Acta Informatica
, vol.32
, pp. 209-253
-
-
Le Charlier, B.1
Van Hentenryck, P.2
-
16
-
-
24444444465
-
-
Technical Report RP-96-028, University of Namur, Belgium
-
C. Leclère and B. Le Charlier. Two Dual Abstract Operations to Duplicate, Eliminate, Equalize, Introduce and Rename Place-Holders Occurring Inside Abstract Descriptions. Technical Report RP-96-028, University of Namur, Belgium, 1996.
-
(1996)
Two Dual Abstract Operations to Duplicate, Eliminate, Equalize, Introduce and Rename Place-Holders Occurring Inside Abstract Descriptions
-
-
Leclère, C.1
Le Charlier, B.2
-
17
-
-
0003453263
-
-
Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second edition
-
J.W. Lloyd. Foundations of Logic Programming. Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second edition, 1987.
-
(1987)
Foundations of Logic Programming
-
-
Lloyd, J.W.1
-
18
-
-
5644254079
-
1983-1993: The Wonder Years of Sequential Prolog Implementation
-
P. Van Roy. 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming, 19/20:385-441, 1994.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 385-441
-
-
Van Roy, P.1
|