СТ |
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs |
1992 |
Duvvuru S., Sundararajan R., Tick E., Sastry A.V. S., Hansen L., Zhong X. |
|
|
|
Lecture Notes in Computer Science |
22.10.1992 |
СТ |
An Abstract Interpretation Scheme for Groundness, Freeness, and Sharing Analysis of Logic Programs |
1992 |
Sundararajan R. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
СТ |
Variable Threadedness Analysis for Concurrent Logic Programs |
1992 |
Sundararajan R., Sastry A.V. S., Tick E. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |