Folgen
Germán Puebla
Germán Puebla
Associate Professor
Bestätigte E-Mail-Adresse bei fi.upm.es
Titel
Zitiert von
Zitiert von
Jahr
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2442007
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
2352005
Closed-form upper bounds in static cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Journal of automated reasoning 46, 161-203, 2011
2122011
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2072012
An assertion language for constraint logic programs
G Puebla, F Bueno, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000
1582000
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
1552012
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ...
AADEBUG 97, 155-170, 1997
1361997
Automatic inference of upper bounds for recurrence relations in cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
1312008
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
1231997
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems
MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ...
Informatica, 1996
1201996
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008
1162008
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
1122000
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: a 25-Year Perspective, 161-192, 1999
1091999
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
105*1999
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
Abstraction-carrying code
E Albert, G Puebla, M Hermenegildo
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
872005
Global analysis of standard Prolog programs
F Bueno, D Cabeza, M Hermenegildo, G Puebla
Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996
861996
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
822008
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, 2001
732001
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
731999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20