Germán Puebla
Title
Cited by
Cited by
Year
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
European symposium on programming, 157-172, 2007
2152007
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
MV Hermenegildo, G Puebla, F Bueno, P López-García
Science of Computer Programming 58 (1-2), 115-140, 2005
1992005
Closed-form upper bounds in static cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Journal of automated reasoning 46 (2), 161-203, 2011
1772011
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
arXiv preprint arXiv:1102.5497, 2011
1582011
Cost analysis of object-oriented bytecode programs
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Theoretical Computer Science 413 (1), 142-159, 2012
1322012
An assertion language for constraint logic programs
G Puebla, F Bueno, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 23-61, 2000
1272000
On the role of semantic approximations on validation and diagnosis of contraint logic programs
F Bueno, P Deransart, W Drabent, G Ferrand, M Hermenegildo, ...
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 …, 1997
1151997
Automatic inference of upper bounds for recurrence relations in cost analysis
E Albert, P Arenas, S Genaim, G Puebla
International Static Analysis Symposium, 221-237, 2008
1102008
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
International Symposium on Formal Methods for Components and Objects, 113-132, 2007
1102007
The Ciao prolog system
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997
1071997
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems.
MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ...
APPIA-GULP-PRODE, 105-110, 1996
1041996
Incremental analysis of constraint logic programs
M Hermenegildo, G Puebla, K Marriott, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (2), 187-223, 2000
862000
Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
M Hermenegildo, G Puebla, F Bueno
The Logic Programming Paradigm, 161-192, 1999
861999
Combined static and dynamic assertion-based debugging of constraint logic programs
G Puebla, F Bueno, M Hermenegildo
International Workshop on Logic Programming Synthesis and Transformation …, 1999
80*1999
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
792014
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
782008
Abstraction-carrying code
E Albert, G Puebla, M Hermenegildo
International Conference on Logic for Programming Artificial Intelligence …, 2005
742005
Global analysis of standard Prolog programs
F Bueno, D Cabeza, M Hermenegildo, G Puebla
European Symposium on Programming, 108-124, 1996
681996
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
MV Hermenegildo, F Bueno, G Puebla, P López-García
ICLP, 52-66, 1999
671999
Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs
JP Gallagher, G Puebla
International Symposium on Practical Aspects of Declarative Languages, 243-261, 2002
662002
The system can't perform the operation now. Try again later.
Articles 1–20