|
СТ |
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 |
|
СТ |
Parameterizing a Groundness Analysis of Logic Programs |
2001 |
Lu L. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
An Operational Semantics of Starlog |
1999 |
Lu L., Cleary J. G. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Constructive Negation Using Typed Existence Properties |
1998 |
Cleary J. G., Lu L. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Type Analysis of Logic Programs in the Presence of Type Definitions |
1995 |
Lu L. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
A Mode Analysis of Logic Programs by Abstract Interpretation |
1996 |
Lu L. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
Logic Program Testing Based on Abstract Interpretation |
1993 |
Lu L., Greenfield P. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
