Programming Languages
Project status: Active
Research Areas
People
| Pascal Van Hentenryck |
Publications
Le Charlier, B., Rossi, S., and Van Hentenryck, P. Sequence-based Abstract Interpretation of Prolog. Theory and Practice of Logic Programming 2, 1 (Jan. 2002). [ pdf ]
Cortesi, A., Le Charlier, B., and Van Hentenryck, P. Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction. Science of Computer Programming 38, 1-3 (2000), 27-71. [ pdf ]
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Exploiting Type Analysis for Unification in a Distributed Environment. Computers and Artificial Intelligence 18, 5 (1999), 447-465.
Van Hentenryck, P. A Gentle Introduction to Numerica. Artifical Intelligence 103 (1998), 209-235. [ pdf ]
Van Hentenryck, P., and Michel, L. Newton: Constraint Programming over Nonlinear Constraint. Science of Computer Programming 30 (1998), 83-118. [ pdf ]
Van Hentenryck, P. Numerica: A Modeling Language for Global Optimization. In Proceedings of the Joint International Conference on Artificial Intelligence (IJCAI-97) (Nagoya, Japan, Aug. 1997), pp. 1642-1650. [ pdf ]
Van Hentenryck, P., McAllester, D., and Kapur, D. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis 34 (Apr. 1997), 797-827. [ pdf ]
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Improving Distributed Unification through Type Analysis. In Euro-Par '97 (Passau, 1997).
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Comsumption-Based Distributed Unification. In Proceedings of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96) (San Sebastian, July 1996), pp. 207-218.
Das, M., Reps, T., and Van Hentenryck, P. Semantic Foundations of Binding Time Analysis for Imperative Programs. In Proceedings of the ACM Symposium on Partial Evaluation and Semantic-based Program Manipulation (PEPM-95) (La Jolla, CA, June 1995), pp. 100-110. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32 (June 1995), 209-253.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Evaluation of the Domain Prop. Journal of Logic Programming 23 (June 1995), 237-278. [ pdf ]
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Type Analysis of Prolog using Type Graphs. Journal of Logic Programming 22 (Mar. 1995), 179-208.
Braem, C., Le Charlier, B., Modart, S., and Van Hentenryck, P. Cardinality Analysis of Prolog. In Proceedings of the International Logic Programming Symposium (ILPS-94) (Ithaca, NY, Nov. 1994), pp. 457-471.
Le Charlier, B., Rossi, S., and Van Hentenryck, P. An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. In Proceedings of the International Logic Programming Symposium (ILPS-94) (Ithaca, NY, Nov. 1994), pp. 157-171.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Type Analysis of Prolog using Type Graphs. In Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI-94) (Orlando, FL, June 1994), pp. 337-348. [ pdf ]
Cortesi, A., Le Charlier, B., and Van Hentenryck, P. Combinations of Abstract Domains for Logic Programming. In Proceedings of the ACM-SIGPLAN Symposium on Principles of Programming Languages (POPL-94) (Portland, OR, Jan. 1994), pp. 227-239. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Experimental Evaluation of a Generic Abstract Interpretation Algorithms for Prolog. ACM Transactions on Programming Languages 16 (Jan. 1994), 35-101.
Degimbe, O., Le Charlier, B., Olivier, L., and Van Hentenryck, P. Practical Efficiency of Three General Purpose Fixpoint Algorithms Applied to the Abstract Interpretation of Prolog. In Proceedings of the International Workshop on Static Analysis (WSA-93) (Padova, Italy, Sept. 1993).
Van Hentenryck, P., Degimbe, O., Le Charlier, B., and Olvier, L. The Impact of Granularity in Abstract Interpretation of Prolog. In Proceedings of the International Workshop on Statics Analysis (WSA-93) (Padova, Italy, Sept. 1993), pp. 1-14.
Le Charlier, B., and Van Hentenryck, P. Groundness Analysis for Prolog: Imprementation and evaluation of the Domain Prop. In Proceedings of the ACM Symposium on Partial Evaluation and Semantic-based Program Manipulation (PEPM-93) (Copenhagen, Denmark, June 1993), pp. 99-110.
Englebert, V., Le Charlier, B., D.Roland, and Van Hentenryck, P. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation. Software Practice and Experience 23, 4 (1993), 419-459. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. In Proceedings of the International Joint Conference and Symposium on Logic Programming (JICSLP-92) (Washington, DC, Nov. 1992), pp. 750-764.
Le Charlier, B., and Van Hentenryck, P. On the Design of Generic Abstract Interpretation Frameworks. In Proceedings of the Workshop on Static Analysis (Bordeaux, France, Sept. 1992), pp. 229-246.
Englebert, V., Le Charlier, B., Roland, D., and Van Hentenryck, P. Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation. In Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP-92) (Leuven, Belgium, Aug. 1992), pp. 310-325.
Le Charlier, B., and Van Hentenryck, P. Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. In Proceedings of the Fourth IEEE International Conference on Computer Languages (ICCL'92) (San Francisco, CA, Apr. 1992).
Le Charlier, B., Musumbu, K., and Van Hentenryck, P. A Generic Abstract Interpretation Algorithm and its Complexity Analysis. In Proceedings of the Eighth International Conference on Logic Programming (ICLP-91) (1991), pp. 64-78.
Dincbas, M., and Van Hentenryck, P. Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. Journal of Logic Programming 4 (Sept. 1987), 199-227.
| Page Owner: Webmaster | Last Modified: Mon Oct 23 14:57:09 2006 |