Pedro L\'opez-Garc\'ia

Identifiers

• name variant Pedro L\'opez-Garc\'ia 0.60 · backfill

Papers (2)

1. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks cs.PL · 2026 · author #5
2. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types cs.PL · 2013 · author #2

Mentions

• 2606.01076 #5 · arxiv_oai · confidence 0.70 Pedro L\'opez-Garc\'ia
• 1308.3940 #2 · backfill · confidence 0.70 Pedro L\'opez-Garc\'ia

Frequent Coauthors

• Manuel Hermenegildo 2 shared papers
• Alejandro Serrano 1 shared papers
• Daniela Ferreiro 1 shared papers
• Daniel Jurjo-Rivas 1 shared papers
• Jose F. Morales 1 shared papers
• Marco Ciccal\`e 1 shared papers