|
СТ |
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 |
|
СТ |
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 Abstract Machine for Restricted AND-Parallel Execution of Logic Programs |
1986 |
Hermenegildo M. V. |
|
|
|
Proc. of the 3rd. Intern. Conf. on Logic Programming |
01.02.1996 |
|
СТ |
Efficient Management of Backtracking in AND-Parallelism |
1986 |
Hermenegildo M. V., Nasr R. I. |
|
|
|
Proc. of the 3rd. Intern. Conf. on Logic Programming |
01.02.1996 |
|
СТ |
Relating Data-Parallelism and (And-) Parallelism in Logic Programs |
1995 |
Hermenegildo M. V., Carro M. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
|
СТ |
A Simulation Study of Or- and Independent And-parallelism |
1991 |
Shen K., Hermenegildo M. V. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism |
1991 |
Gupta G., Costa V. S., Yang R., Hermenegildo M. V. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
Independent AND-Parallel Implementation of Narrowing |
1992 |
Kuchen H., Moreno-Navarro J. J., Hermenegildo M. V. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
