|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs |
2002 |
Gallagher J. P., Puebla G. |
|
|
|
Lecture Notes in Computer Science |
27.02.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 |
|
СТ |
Optimization of Logic Programs with Dynamic Scheduling |
1997 |
Puebla G., De La Banda M. G., Marriott K., Stuckey P. J. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Implementation of Multiple Specialization in Logic Programs |
1995 |
Puebla G., Hermenegildo M. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Abstract Specialization and Its Application to Program Parallelization |
1997 |
Puebla G., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Global Analysis of Standard Prolog Programs |
1996 |
Bueno F., Cabeza D., Hermenegildo M., Puebla G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Incremental Analysis of Logic Programs |
1995 |
Hermenegildo M., Puebla G., Marriott K., Stuckey P. J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
