|
СТ |
A Synergistic Analysis for Sharing and Groundness which Traces Linearity |
1994 |
King A. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Analysis of Logic Programs with Delay |
1998 |
Heaton A., Hill P., King A. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Analyzing Logic Programs by Reasoning Backwards |
2004 |
Howe J. M., King A., Lu L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Backward Type Inference Generalises Type Checking |
2002 |
Lu L., King A. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling |
2003 |
Genaim S., King A. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Implementing Groudness Analysis with Definite Boolean Functions |
2000 |
Howe J. M., King A. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Lower-bound Time-complexity Analysis of Logic Programs |
1997 |
King A., Shen K., Benoy F. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
Mode Analysis Domains foe Typed Logic Programs |
2000 |
Smaus J. -G., Hill P. M., King A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
On the Inference of Natural Level Mappings |
2004 |
Martin J. C., King A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Ordering Optimisations for Concurrent Logic Programs |
1992 |
King A., Soper P. |
|
|
|
Lecture Notes in Computer Science |
05.08.1992 |
|
СТ |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations |
1999 |
Smaus J. -G., Hill P., King A. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
|
СТ |
Quotienting Share for Dependency Analysis |
1999 |
King A., Smaus J. -G., Hill P. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Schedule Analysis of Concurrent Logic Programs |
1992 |
King A., Soper P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Termination of Logic Programs with Block Declarations Running in Several Modes |
1998 |
Smaus J. -G., Hill P., King A. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Typed Norms for Typed Logic Programs |
1997 |
Martin J. C., King A., Soper P. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
