Pedro Lopez-Garcia
Title
Cited by
Cited by
Year
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
1982005
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
arXiv preprint arXiv:1102.5497, 2011
1582011
Lower Bound Cost Estimation for Logic Programs.
SK Debray, P López-García, MV Hermenegildo, NW Lin
ILPS 97, 291-305, 1997
1201997
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
1071997
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
International Conference on Logic Programming, 348-363, 2007
1062007
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems.
MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ...
APPIA-GULP-PRODE, 105-110, 1996
1041996
A hybrid method for short-term traffic congestion forecasting using genetic algorithms and cross entropy
P Lopez-Garcia, E Onieva, E Osaba, AD Masegosa, A Perallos
IEEE Transactions on Intelligent Transportation Systems 17 (2), 557-569, 2015
1002015
A methodology for granularity-based control of parallelism in logic programs
P Lopez, M Hermenegildo, S Debray
Journal of symbolic computation 21 (4), 715, 1996
941996
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
702013
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
702013
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
702013
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
671999
Non-Failure Analysis for Logic Programs.
SK Debray, P López-García, MV Hermenegildo
ICLP 97, 48-62, 1997
661997
Estimating the computational cost of logic programs
SK Debray, PL García, M Hermenegildo, NW Lin
International Static Analysis Symposium, 255-265, 1994
601994
A discrete and improved bat algorithm for solving a medical goods distribution problem with pharmacological waste collection
E Osaba, XS Yang, I Fister Jr, J Del Ser, P Lopez-Garcia, ...
Swarm and evolutionary computation 44, 273-286, 2019
552019
Integrating software testing and run-time checking in an assertion verification framework
E Mera, P Lopez-García, M Hermenegildo
International Conference on Logic Programming, 281-295, 2009
552009
Program development using abstract interpretation (and the Ciao system preprocessor)
MV Hermenegildo, G Puebla, F Bueno, P López-García
International Static Analysis Symposium, 127-152, 2003
472003
Resource usage analysis of logic programs via abstract interpretation using sized types
A Serrano, P López-García, MV Hermenegildo
arXiv preprint arXiv:1405.4256, 2014
462014
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
402005
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
322006
The system can't perform the operation now. Try again later.
Articles 1–20