Obserwuj
Pedro Lopez-Garcia
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2422005
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
2142012
Lower Bound Cost Estimation for Logic Programs.
SK Debray, P López-García, MV Hermenegildo, NW Lin
ILPS 97, 291-305, 1997
1411997
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
1241997
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
1202007
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
1171996
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
1051996
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
872014
Non-failure analysis for logic programs
SK Debray, MV Hermenegildo
MIT Press, 1997
791997
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
721994
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
682009
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor¹
MV Hermenegildo, F Bueno, G Puebla, P Lopez
Logic Programming: Proceedings of the 1999 International Conference on Logic …, 1999
681999
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
622014
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
602003
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
U Liqat, K Georgiou, S Kerrison, P López-García, JP Gallagher, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2015
452015
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
422005
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
P López-García, L Darmawan, M Klemen, U Liqat, F Bueno, ...
Theory and Practice of Logic Programming 18 (2), 167-223, 2018
372018
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
372006
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
352005
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
351997
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20