Manuel V. Hermenegildo
IMDEA Software Institute(ES)Universidad Politécnica de Madrid(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Compile-time derivation of variable dependency using abstract interpretation(1992)229 cited
- → Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)(2005)182 cited
- → Parallel execution of prolog programs(2001)156 cited
- → An overview of Ciao and its design philosophy(2011)148 cited
- Combined determination of sharing and freeness of program variables through abstract interpretation(1991)
- → Global flow analysis as a practical compilation tool(1992)118 cited
- Proceedings of the 1990 North American conference on Logic programming(1990)