| 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 | 239 | 2005 |
| 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 | 207 | 2012 |
| Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 1997 | 140 | 1997 |
| 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 | 124 | 1997 |
| User-definable resource bounds analysis for logic programs J Navas, E Mera, P López-García, MV Hermenegildo Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 120 | 2007 |
| 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 | 117 | 1996 |
| A methodology for granularity-based control of parallelism in logic programs SK Debray, MV Hermenegildo, P López García Journal of symbolic computation 21 (4-6), 715-734, 1996 | 105 | 1996 |
| Energy consumption analysis of programs based on XMOS ISA-level models U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ... Logic-Based Program Synthesis and Transformation: 23rd International …, 2014 | 90 | 2014 |
| Non-Failure Analysis for Logic Programs. SK Debray, P López-García, MV Hermenegildo ICLP 97, 48-62, 1997 | 78 | 1997 |
| Estimating the computational cost of logic programs SK Debray, PL García, M Hermenegildo, NW Lin Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994 | 73 | 1994 |
| Integrating software testing and run-time checking in an assertion verification framework E Mera, P Lopez-García, M Hermenegildo Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 67 | 2009 |
| Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. MV Hermenegildo, F Bueno, G Puebla, P López-García ICLP, 52-66, 1999 | 67 | 1999 |
| Resource usage analysis of logic programs via abstract interpretation using sized types A Serrano, P López-García, MV Hermenegildo Theory and Practice of Logic Programming 14 (4-5), 739-754, 2014 | 61 | 2014 |
| Program development using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003 | 58 | 2003 |
| Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 43 | 2015 |
| Abstraction carrying code and resource-awareness MV Hermenegildo, E Albert, P López-García, G Puebla Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 41 | 2005 |
| The Ciao System. Ref. Manual (v1. 13) F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Technical report, CS School (UPM), 2006. Available at http://www. ciaohome. org, 2006 | 36 | 2006 |
| The ciao prolog system. reference manual F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... School of Computer Science, Technical University of Madrid (UPM), Tech. Rep …, 1997 | 35 | 1997 |
| Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption P Lopez-Garcia, L Darmawan, M Klemen, U Liqat, F Bueno, ... Theory and Practice of Logic Programming 18 (2), 167-223, 2018 | 34 | 2018 |
| Determinacy analysis for logic programs using mode and type information P López-García, F Bueno, M Hermenegildo Logic Based Program Synthesis and Transformation: 14th International …, 2005 | 34 | 2005 |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
