|
СТ |
A Stream AND-Parallel Execution Algorithm with Backtracking |
1988 |
Somogyi Z., Ramamohanarao K., Vaghani J. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
Code Generation for Mercury |
1995 |
Conway T., Henderson F., Somogyi Z. |
|
|
|
Logic Programming: Proc. of the 1995 Intern Symp. |
24.04.1996 |
|
СТ |
Compiling Mercury ti High-Level C Code |
2002 |
Henderson F., Somogyi Z. |
|
|
|
Lecture Notes in Computer Science |
27.04.2002 |
|
СТ |
MCORBA: A CORBA Binding for Mercury |
1999 |
Jeffery D., Dowd T., Somogyi Z. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
|
СТ |
Mercury, an Efficient Purely Declarative Logic Programming Language |
1995 |
Somogyi Z., Henderson F. J., Conway T. C. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
Run Time Type Information in Mercury |
1999 |
Dowd T., Somogyi Z., Henderson F., Conway T., Jeffery D. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures |
1994 |
Somogyi Z., Kemp D. |
|
|
|
Lecture Notes in Computer Science |
22.04.1994 |
