The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Germán Puebla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
    On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:155-169 [Conf]
  2. Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
    The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
  3. Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
    High-level languages for small devices: a case study. [Citation Graph (0, 0)][DBLP]
    CASES, 2006, pp:271-281 [Conf]
  4. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Abstract Verification and Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:1-14 [Conf]
  5. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Framework for Assertion-Based Debugging in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:472- [Conf]
  6. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    An Assertion Language for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:23-62 [Conf]
  7. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Generic Processor for Program Validation and Debugging. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:63-107 [Conf]
  8. Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
    Global Analysis of Standard Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:108-124 [Conf]
  9. Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
    Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:21-36 [Conf]
  10. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Debugging and Validation Using Semantic Approximations and Partial Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:69-72 [Conf]
  11. Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
    Reduced Certificates for Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:163-178 [Conf]
  12. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstract Interpretation-Based Mobile Code Certification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:446-447 [Conf]
  13. Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
    Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:52-66 [Conf]
  14. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:797-811 [Conf]
  15. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:431-432 [Conf]
  16. José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
    A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:21-36 [Conf]
  17. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:407-409 [Conf]
  18. Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Optimization of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:93-107 [Conf]
  19. Elvira Albert, Germán Puebla, John P. Gallagher
    Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:115-132 [Conf]
  20. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
    Experiments in Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:163-178 [Conf]
  21. John P. Gallagher, Germán Puebla, Elvira Albert
    Converting One Type-Based Abstract Domain to Another. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:147-162 [Conf]
  22. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
    A model for inter-module analysis and optimizing compilation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  23. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
    A Model for Inter-module Analysis and Optimizing Compilation. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
  24. Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
    Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:80-97 [Conf]
  25. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Efficient Local Unfolding with Ancestor Stacks for Full Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:149-165 [Conf]
  26. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:273-292 [Conf]
  27. Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    A Generic Framework for Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  28. Germán Puebla, Manuel V. Hermenegildo
    Abstract Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:169-186 [Conf]
  29. Elvira Albert, Puri Arenas, Germán Puebla
    An Incremental Approach to Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:377-391 [Conf]
  30. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:380-397 [Conf]
  31. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
    Context-Sensitive Multivariant Assertion Checking in Modular Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:392-406 [Conf]
  32. Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:61-76 [Conf]
  33. John P. Gallagher, Germán Puebla
    Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:243-261 [Conf]
  34. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
    Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:124-139 [Conf]
  35. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Combining Static Analysis and Profiling for Estimating Execution Times. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:140-154 [Conf]
  36. Claudio Ochoa, Germán Puebla
    Poly-controlled partial evaluation in practice. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:164-173 [Conf]
  37. Germán Puebla, Manuel V. Hermenegildo
    Abstract specialization and its applications. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:29-43 [Conf]
  38. Germán Puebla, Manuel V. Hermenegildo
    Implementation of Multiple Specialization in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:77-87 [Conf]
  39. Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
    An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:75-84 [Conf]
  40. Germán Puebla, Manuel V. Hermenegildo
    Automatic Optimization of Dynamic Scheduling in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:475-476 [Conf]
  41. Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
    Abstraction carrying code and resource-awareness. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:1-11 [Conf]
  42. Germán Puebla, Claudio Ochoa
    Poly-controlled partial evaluation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:261-271 [Conf]
  43. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:127-152 [Conf]
  44. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Abstract Interpretation with Specialized Definitions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:107-126 [Conf]
  45. Germán Puebla, Manuel V. Hermenegildo
    Optimized Algorithms for Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:270-284 [Conf]
  46. Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
    Tools and Environments for (Constraint) Logic Programming (Workshop Overview). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:417-418 [Conf]
  47. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Experiments in abstract interpretation-based code certification for pervasive systems. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1125-1130 [Conf]
  48. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    An Abstract Interpretation-based Approach to Mobile Code Safety. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:113-129 [Journal]
  49. Claudio Ochoa, Germán Puebla
    A Study on the Practicality of Poly-Controlled Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:137-151 [Journal]
  50. Germán Puebla, Manuel V. Hermenegildo
    Abstract Multiple Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:279-316 [Journal]
  51. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:115-140 [Journal]
  52. Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  53. Germán Puebla, Manuel V. Hermenegildo
    Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  54. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental analysis of constraint logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:187-223 [Journal]
  55. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
    Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:157-172 [Conf]
  56. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  57. Elvira Albert, Puri Arenas, Germán Puebla
    Some Issues on Incremental Abstraction-Carrying Code [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  58. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
    Experiments in Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:67-83 [Journal]
  59. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
    Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:85-101 [Journal]

  60. An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. [Citation Graph (, )][DBLP]


  61. Field-Sensitive Value Analysis by Field-Insensitive Analysis. [Citation Graph (, )][DBLP]


  62. Termination Analysis of Java Bytecode. [Citation Graph (, )][DBLP]


  63. Resource Usage Analysis and Its Application to Resource Certification. [Citation Graph (, )][DBLP]


  64. Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. [Citation Graph (, )][DBLP]


  65. Test Data Generation of Bytecode by CLP Partial Evaluation. [Citation Graph (, )][DBLP]


  66. A practical type analysis for verification of modular prolog programs. [Citation Graph (, )][DBLP]


  67. PET: a partial evaluation-based test case generation tool for Java bytecode. [Citation Graph (, )][DBLP]


  68. Removing useless variables in cost analysis of Java bytecode. [Citation Graph (, )][DBLP]


  69. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. [Citation Graph (, )][DBLP]


  70. Modular Decompilation of Low-Level Code by Partial Evaluation. [Citation Graph (, )][DBLP]


  71. MOBIUS: Mobility, Ubiquity, Security. [Citation Graph (, )][DBLP]


  72. A Generic Framework for the Analysis and Specialization of Logic Programs [Citation Graph (, )][DBLP]


  73. On the Generation of Test Data for Prolog by Partial Evaluation [Citation Graph (, )][DBLP]


  74. Efficient Local Unfolding with Ancestor Stacks [Citation Graph (, )][DBLP]


  75. Test Case Generation for Object-Oriented Imperative Languages in CLP [Citation Graph (, )][DBLP]


  76. Oracle-Based Partial Evaluation. [Citation Graph (, )][DBLP]


  77. Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002