|
СТ |
Multivariant Non-failure Analysis via Standard Abstract Interpretation |
2004 |
Bueno F., Lopez-Garcia P., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
|
СТ |
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) |
2003 |
Hermenegildo M. V., Puebla G., Bueno F., Lopez-Garcia P. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Program Debugging and Validation Using Semantic Approximations and Partial Specifications |
2002 |
Hermenegildo M., Puebla G., Bueno F., Lopez-Garcia P. |
|
|
|
Lecture Notes in Computer Science |
03.08.2002 |
|
СТ |
Noon-Failure Analysis for Logic Programs |
1997 |
Debray S., Lopez-Garcia P., Hermenegildo M. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Lower Bound Cost Estimation for Logic Programs |
1997 |
Debray S., Lopez-Garcia P., Hermenegildo M., Lin N. -W. |
|
|
|
Logic Programming |
05.03.1998 |
