СТ |
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler |
1990 |
Van Roy P., Despain A. M. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
Integrating Efficient Records into Concurrent Constraint Programming |
1996 |
Van Roy P., Mehl M., Scheidhauer R. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
СТ |
A Lightweight Reliable Object Migration Protocol |
1999 |
Van Roy P., Brand P., Haridi S., Collet R. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
СТ |
Efficient Logic Variables for Distributed Computing |
1999 |
Haridi S., Van Roy P., Brand P., Mehl M., Scheidhauer R., Smolka G. |
|
|
|
ACM Trans. on Programming Languages and Systems |
01.02.2000 |
СТ |
Logic Programming in Oz with Mozart |
1999 |
Van Roy P. |
|
|
|
Logic Programming |
07.03.2001 |
СТ |
A Fault Tolerant Abstraction for Transparent Distributed Programming |
2005 |
Grolaux D., Glynn K., Van Roy P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.04.2005 |