СТ |
Optimizing Compilation of CLP(R) |
1998 |
Kelly A. D., Marriott K., Macdonald A., Stukey P. J., Yap R. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
СТ |
Effectiveness of Optimizing Compilation for CLP(R) |
1996 |
Kelly A. D., Macdonald A., Marriott K., Stuckey P. J., Yap R.H. C. |
|
|
|
Logic Programming |
12.03.1998 |
СТ |
An Optimizing Compiler for CLP (R) |
1995 |
Kelly A. D., Macdonald A., Marriott K., Sondergaard H., Stuckey P. J., Yap R.H. C. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |