Germán Puebla

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno et al. · Science of Computer Programming · 2005 · 184 citations · Full text

Computing, Computer Engineering, Computer Science +16

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim et al. · Journal of Automated Reasoning · 2010 · 159 citations

Natural Sciences, Mathematics, Optimization +4

An overview of Ciao and its design philosophy

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming · 2011 · 150 citations · Full text

Computing, Computer Science, Compilers +13

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim et al. · Theoretical Computer Science · 2011 · 121 citations

Computing, Computer Engineering, Computer Science +14

Incremental analysis of constraint logic programs

Manuel V. Hermenegildo, Germán Puebla, Kim Marriott et al. · ACM Transactions on Programming Languages and Systems · 2000 · 87 citations · Full text

Computing, Computer Science, Algorithms +7