Manuel Hermenegildo

Identifiers

• name variant Manuel Hermenegildo 0.60 · backfill

Papers (8)

1. Big-step and small-step Horn clause derivations applied to operational semantics cs.PL · 2026 · author #2
2. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks cs.PL · 2026 · author #6
3. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types cs.PL · 2013 · author #3
4. Certificate size reduction in Abstraction-Carrying Code cs.PL · 2010 · author #4
5. Introduction to the 26th International Conference on Logic Programming Special Issue cs.AI · 2010 · author #1
6. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling cs.PL · 2007 · author #5
7. A study of set-sharing analysis via cliques cs.LO · 2005 · author #3
8. A Generic Framework for the Analysis and Specialization of Logic Programs cs.PL · 2005 · author #3

Mentions

• 2606.20944 #2 · arxiv_oai · confidence 0.70 Manuel Hermenegildo
• 2606.01076 #6 · arxiv_oai · confidence 0.70 Manuel Hermenegildo
• 1308.3940 #3 · backfill · confidence 0.70 Manuel Hermenegildo
• 1010.4533 #4 · backfill · confidence 0.70 Manuel Hermenegildo
• 1008.1710 #1 · backfill · confidence 0.70 Manuel Hermenegildo

Frequent Coauthors

• Elvira Albert 2 shared papers
• German Puebla 2 shared papers
• Pedro L\'opez-Garc\'ia 2 shared papers
• Pedro Lopez-Garcia 2 shared papers
• Alejandro Serrano 1 shared papers
• Daniela Ferreiro 1 shared papers
• Daniel Jurjo-Rivas 1 shared papers
• Edison Mera 1 shared papers
• Francisco Bueno 1 shared papers
• Germ\'an Puebla 1 shared papers
• John P. Gallagher 1 shared papers
• Jorge Navas 1 shared papers
• Jose F. Morales 1 shared papers
• Jos\'e Morales 1 shared papers
• Louis Rustenholz 1 shared papers
• Manuel Carro 1 shared papers
• Marco Ciccal\`e 1 shared papers
• Puri Arenas 1 shared papers
• Torsten Schaub 1 shared papers