German Puebla

Identifiers

• name variant German Puebla 0.60 · backfill

Papers (5)

1. Verification of Java Bytecode using Analysis and Transformation of Logic Programs cs.PL · 2010 · author #4
2. On the Generation of Test Data for Prolog by Partial Evaluation cs.PL · 2009 · author #3
3. Some Issues on Incremental Abstraction-Carrying Code cs.PL · 2007 · author #3
4. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling cs.PL · 2007 · author #3
5. A Generic Framework for the Analysis and Specialization of Logic Programs cs.PL · 2005 · author #1

Mentions

• 1007.3250 #4 · backfill · confidence 0.70 German Puebla
• 0903.2199 #3 · backfill · confidence 0.70 German Puebla

Frequent Coauthors

• Elvira Albert 4 shared papers
• Manuel Hermenegildo 2 shared papers
• Edison Mera 1 shared papers
• Laurent Hubert 1 shared papers
• Manuel Carro 1 shared papers
• Miguel G\'omez-Zamalloa 1 shared papers
• Miguel Gomez-Zamalloa 1 shared papers
• Pedro Lopez-Garcia 1 shared papers
• Puri Arenas 1 shared papers