|
СТ |
Constraint Programming in OPL |
1999 |
Van Hentenryck P., Michel L., Perron L., Regin J. -C. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Strategic Directions in Constraint Programming |
1996 |
Van Hentenryck P., Saraswat V. |
|
|
|
ACM Computing Surveys |
15.04.1999 |
|
СТ |
CLP(R lin) Revised |
1996 |
Refalo P., Van Hentenryck P. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Localizer: A Modeling Language for Local Search |
1997 |
Michel L., Van Hentenryck P. |
|
|
|
Lecture Notes in Computer Science |
25.11.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 |
|
СТ |
Semantic Foundations of Binding-Time Analysis for Imperative Programs |
1995 |
Das M., Reps T., Van Hentenryck P. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.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 |
|
СТ |
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 |
|
СТ |
LSign Reordered |
1995 |
Ramachandran V., Van Hentenryck P. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
17.11.1995 |
|
СТ |
Reexecution in Abstract Interpretation of Prolog |
1995 |
Le Charlier B., Van Hentenryck P. |
|
|
|
Acta Informatica |
04.07.1995 |
|
СТ |
Design, Implementation, and Evaluation of the Constraint Language cc(FD) |
1995 |
Van Hentenryck P., Saraswat V., Deville Y. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
Constraint Logic Programming: From Theory to Applications |
1990 |
Van Hentenryck P. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Solving a Cutting-Stock Problem in Constraint Logic Programming |
1988 |
Dincbas M., Simonis H., Van Hentenryck P. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
26.09.1994 |
|
СТ |
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming |
1991 |
Van Hentenryck P., Deville Y. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.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 |
|
СТ |
Type Analysis of Prolog Using Type Graphs |
1994 |
Van Hentenryck P., Cortesi A., Le Charlier B. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
|
СТ |
Backtracking without Trailing in CLP(R ) |
1994 |
Van Hentenryck P., Ramachandran V. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
On the Design of Generic Abstract Interpretation Frameworks |
1992 |
Le Charlier B., Van Hentenryck P. |
|
|
|
BIGRE |
11.11.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 |
