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 ]
Stefanelli, C., Lamma, E., Mello, P., and Van Hentenryck, P. Improving Distributed Unification through Type Analysis. In Euro-Par '97 (Passau, 1997).
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. Comsumption-Based Distributed Unification. In Proceedings of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96) (San Sebastian, Jul 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, Jun 1995), pp. 100-110. [ pdf ]
Le Charlier, B., and Van Hentenryck, P. Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32 (Jun 1995), 209-253.
Van Hentenryck, P., Cortesi, A., and Le Charlier, B. Evaluation of the Domain Prop. Journal of Logic Programming 23 (Jun 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.
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., 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.
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.
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, Jun 1994), pp. 337-348. [ pdf ]
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, Sep 1993).
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. 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, Jun 1993), pp. 99-110.
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, Sep 1993), pp. 1-14.
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. On the Design of Generic Abstract Interpretation Frameworks. In Proceedings of the Workshop on Static Analysis (Bordeaux, France, Sep 1992), pp. 229-246.
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., 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., 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 (Sep 1987), 199-227.
| Page Owner: Webmaster | Last Modified: Mon Oct 23 14:57:09 2006 |