СТ |
Update in Place: Overview of the Siva project |
1993 |
Gudjonsson G., Winsborough W. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
СТ |
Transparent And-Parallelism in the Presence of Shared Free Variables |
1988 |
Winsborough W., Waern A. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
СТ |
Live-Structure Dataflow Analysis for Prolog |
1994 |
Mulkers A., Winsborough W., Bruynooghe M. |
|
|
|
ACM Trans. Programming Languages and Systems |
27.05.1994 |
СТ |
Efficient Analysis of Concurrent Constraint Logic Programs |
1992 |
Codish M., Falaschi M., Marriott K., Winsborough W. |
|
|
|
BIGRE |
05.11.1992 |
СТ |
Demand Transformation Analysis for Concurrent Constraint Programs |
1996 |
Falaschi M., Hicks P., Winsborough W. |
|
|
|
Logic Programming |
12.03.1998 |
СТ |
Copy Avoidance through Compile-Time Analysis and Local Reuse |
1991 |
Foster I., Winsborough W. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
04.01.1995 |
СТ |
Annotated Structure Shape Graphs for Abstract Analysis of Prolog |
1996 |
Weyer G., Winsborough W. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |