Publicacions en col·laboració amb investigadors/es de University of New Mexico (10)

2008

  1. Towards execution time estimation in abstract machine-based languages

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2007

  1. Combining static analysis and profiling for estimating execution times

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. User-definable resource bounds analysis for logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Towards execution time estimation for logic programs via static analysis and profiling

    Proceedings of the 16th Workshop on Logic-based methods in Programming Environments, WLPE 2006

  2. Using combined static analysis and profiling for logic program execution time estimation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  2. Determinacy analysis for logic programs using mode and type information

    Lecture Notes in Computer Science

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

    Science of Computer Programming

2004

  1. Multivariant Non-failure Analysis via Standard Abstract Interpretation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2998, pp. 100-116

2003

  1. Program development using abstract interpretation: (And the Ciao system preprocessor)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2694, pp. 127-152