|
СТ |
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 |
|
СТ |
Structuring Z Specifications: Some Choices |
1995 |
Macdonald A., Carrington D. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
