Publicacions en col·laboració amb investigadors/es de Universidad Complutense de Madrid (7)

2012

  1. An overview of Ciao and its design philosophy

    Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252

2011

  1. Profiling for run-time checking of computational properties and performance debugging in logic programs

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

2009

  1. Integrating software testing and run-time checking in an assertion verification framework

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

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. 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)

2005

  1. Abstraction carrying code and resource-awareness

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

2004

  1. Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3149, pp. 21-36