| Compile-time derivation of variable dependency using abstract interpretation K Muthukumar, M Hermenegildo The Journal of Logic Programming 13 (2-3), 315-347, 1992 | 323 | 1992 |
| Parallel execution of prolog programs: a survey G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001 | 303 | 2001 |
| Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Science of Computer Programming 58 (1-2), 115-140, 2005 | 229 | 2005 |
| Combined determination of sharing and freeness of program variables through abstract interpretation K Muthukumar, MV Hermenegildo Mit Press, 1991 | 221 | 1991 |
| Task granularity analysis in logic programs SK Debray, NW Lin, M Hermnegildo ACM SIGPLAN Notices 25 (6), 174-188, 1990 | 218 | 1990 |
| An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012 | 197 | 2012 |
| An abstract machine for restricted AND-parallel execution of logic programs MV Hermenegildo Springer Berlin Heidelberg, 1986 | 195 | 1986 |
| An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel MV Hermenegildo The University of Texas at Austin, 1986 | 185 | 1986 |
| &-Prolog and its performance: Exploiting independent And-Parallelism MV Hermenegildo, KJ Greene MIT Press, 1990 | 183 | 1990 |
| On the practicality of global flow analysis of logic programs R Warren, MV Hermenegildo MIT Press, 1988 | 171 | 1988 |
| Global flow analysis as a practical compilation tool MV Hermenegildo, R Warren, SK Debray The Journal of Logic Programming 13 (4), 349-366, 1992 | 164 | 1992 |
| Determination of variable dependence information through abstract interpretation K Muthukumar, MV Hermenegildo MIT Press, 1989 | 162 | 1989 |
| The &-Prolog system: Exploiting independent and-parallelism MV Hermenegildo, KJ Greene New Generation Computing 9 (3-4), 233-256, 1991 | 159 | 1991 |
| An assertion language for constraint logic programs G Puebla, F Bueno, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000 | 154 | 2000 |
| Improving abstract interpretations by combining domains M Codish, A Mulkers, M Bruynooghe, MG De La Banda, M Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 1995 | 152 | 1995 |
| On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ... AADEBUG 97, 155-170, 1997 | 136 | 1997 |
| Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 1997 | 136 | 1997 |
| The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ... Informatica, 1996 | 122 | 1996 |
| The Ciao prolog system F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997 | 120 | 1997 |
| Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions MV Hermenegildo, F Rossi The Journal of Logic Programming 22 (1), 1-45, 1995 | 120 | 1995 |
Germán PueblaAssociate Professorfi.upm.es의 이메일 확인됨
