|
СТ |
A Generic Framework for Context-Sensitive Analysis of Modular Programs |
2004 |
Puebla G., Correas J., Hermenegildo M. V., Bueno F., De La Banda M. G., Marriot K., Stuckey P. J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling |
1995 |
Marriot K., Falaschi M., Gabbrielli M., Palamidessi C. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
Some Global Compile-Time Optimizations for CLP(R) |
1991 |
Jorgensen N., Marriot K., Michailov S. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
