СТ |
A Generic Framework for Context-Sensitive Analysis of Modular Programs |
2004 |
Puebla G., Correas J., Hermenegildo M. V., Bueno F., De La Banda M. G., Marriot K., Stuckey P. J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
СТ |
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 |
СТ |
Abstract Verification and Debugging of Constraint Logic Programs |
2003 |
Hermengildo M., Puebla G., Bueno F., Lopez-Gercia P. |
|
|
|
Lecture Notes in Computer Science |
13.05.2003 |
СТ |
More Precise Yet Efficient Type Inference for Logic Programs |
2002 |
Vaucheret C., Bueno F. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
СТ |
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 |
СТ |
A Model for Inter-module Analysis and Optimizing Compilation |
2001 |
Bueno F., De La Banda M. G., Hermenegildo M., Marriott K., Puebla G., Stuckey P. J. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
СТ |
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor |
1999 |
Hermenegildo M. V., Bueno F., Puebla G., Lopez P. |
|
|
|
Logic Programming |
07.03.2001 |
СТ |
An Assertion Language for Constraint Logic Programs |
2000 |
Puebla G., Bueno F., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
СТ |
A Generic Preprocessor for Program Validation and Debugging |
2000 |
Puebla G., Bueno F., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
СТ |
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs |
2000 |
Puebla G., Bueno F., Hermenegildo M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
СТ |
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming |
1999 |
Bueno F., De La Banda M. G., Hermenegildo M. |
|
|
|
ACM Trans. on Programming Languages and Systems |
23.12.1999 |
СТ |
An Algebraic Approach to Sharing Analysis of Logic Programs |
1997 |
Codish M., Lagoon V., Bueno F. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
СТ |
Towards Independent And-Parallelism in CLP |
1996 |
De La Banda M. G., Bueno F., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
СТ |
Global Analysis of Standard Prolog Programs |
1996 |
Bueno F., Cabeza D., Hermenegildo M., Puebla G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
СТ |
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization |
1994 |
Bueno F., De La Banda M. G., Hermenegildo M. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
СТ |
Towards a Concurrent Semantics Based Analysis of CC and CLP |
1994 |
Montanari U., Rossi F., Bueno F., De La Banda M. G., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics |
1994 |
Bueno F., Hermenegildo M., Montanari U., Rossi F. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |