Pedro López-García
Consejo Superior de Investigaciones Científicas(ES)Consejo Superior de Investigaciones Científicas(ES)IMDEA Software(ES)IMDEA Software Institute(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, Software Engineering Research
Most-Cited Works
- → Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)(2005)182 cited
- → An overview of Ciao and its design philosophy(2011)148 cited
- → Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models(2014)105 cited
- → Lower Bound Cost Estimation for Logic Programs(1997)85 cited
- → User-Definable Resource Bounds Analysis for Logic Programs(2007)73 cited
- The ciao prolog system(2002)
- → Non-Failure Analysis for Logic Programs(1997)52 cited