Pedro López-García

1. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
   2005/10/01 by Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno +1 · 2 citations
2. An overview of Ciao and its design philosophy
   2011/02/27 by Manuel V. Hermenegildo, Francisco Bueno, Hermenegildo, M. V. +11 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
3. Towards Energy Consumption Verification via Static Analysis
   2015/12/31 by Pedro Lopez-Garcia, Pedro López-García, Lopez-Garcia, Pedro +9 · 1 voice
   Computer Science · #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #cs.DC #cs.LO #cs.PL
4. Interval-based Resource Usage Verification by Translation into Horn\n Clauses and an Application to Energy Consumption
   2018/03/12 by Pedro López-García, Lopez-Garcia, Pedro, Luthfi Darmawan +9 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
5. Towards Relating Ciao Assertions and LPTP Theorems
   2026/07/20 by Marco Pérez, Pedro López-García, Jose F. Morales +2
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
6. An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
   2026/07/20 by DANIEL JURJO-RIVAS, Daniel Jurjo-Rivas, Joaquín Arias +4
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies