Manuel V. Hermenegildo

Compile-time derivation of variable dependency using abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · The Journal of Logic Programming · 1992 · 230 citations · Full text

Computing, Computer Science, Formal Methods +13

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno et al. · Science of Computer Programming · 2005 · 184 citations · Full text

Computing, Computer Engineering, Computer Science +16

Parallel execution of prolog programs

Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali et al. · ACM Transactions on Programming Languages and Systems · 2001 · 157 citations · Full text

Computing, Computer Engineering, Computer Science +16

An overview of Ciao and its design philosophy

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming · 2011 · 150 citations · Full text

Computing, Computer Science, Compilers +13

Combined determination of sharing and freeness of program variables through abstract interpretation

Kalyan Muthukumar, Manuel V. Hermenegildo · UPM Digital Archive (Technical University of Madrid) · 1991 · 145 citations · Full text

Computing, Computer Science, Algorithms +11