|
СТ |
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 |
|
СТ |
Localizer: A Modeling Language for Local Search |
1997 |
Michel L., Van Hentenryck P. |
|
|
|
Lecture Notes in Computer Science |
25.11.1997 |
|
СТ |
Constraint Programming in OPL |
1999 |
Van Hentenryck P., Michel L., Perron L., Regin J. -C. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
