The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pedro López-García: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
    Multivariant Non-failure Analysis via Standard Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:100-116 [Conf]
  5. 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]
  6. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
    Non-Failure Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:48-62 [Conf]
  7. 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]
  8. Manuel V. Hermenegildo, Pedro López-García
    Efficient Term Size Computation for Granularity Control. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:647-661 [Conf]
  9. 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]
  10. Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
    Determinacy Analysis for Logic Programs Using Mode and Type Information. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:19-35 [Conf]
  11. 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]
  12. 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]
  13. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
    Estimating the Computational Cost of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:255-265 [Conf]
  14. 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]
  15. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
    Lower Bound Cost Estimation for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:291-305 [Conf]
  16. Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
    A Methodology for Granularity-Based Control of Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:715-734 [Journal]
  17. 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]
  18. Jorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
    User-Definable Resource Bounds Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:348-363 [Conf]
  19. 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]

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


  21. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. [Citation Graph (, )][DBLP]


  22. A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. [Citation Graph (, )][DBLP]


  23. Towards execution time estimation in abstract machine-based languages. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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