Publicaciones en las que colabora con Manuel de Hermenegildo Salinas (20)

2012

  1. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

2011

  1. Efficient local unfolding with ancestor stacks

    Theory and Practice of Logic Programming, Vol. 11, Núm. 1, pp. 1-32

2008

  1. A practical type analysis for verification of modular prolog programs

    Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

  2. Abstraction-carrying code: A model for mobile code safety

    New Generation Computing, Vol. 26, Núm. 2, pp. 171-204

2006

  1. Abstract interpretation with specialized definitions

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

  2. Context-sensitive multivariant assertion checking in modular programs

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

  3. Experiments in context-sensitive analysis of modular programs

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

  4. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

  5. Reduced certificates for abstraction-carrying code

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

2005

  1. A generic framework for the analysis and specialization of logic programs

    Lecture Notes in Computer Science

  2. A generic framework for the analysis and specialization of logic programs

    Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

  3. Abstraction carrying code and resource-awareness

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

  4. Abstraction-carrying code

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

  5. An Abstract Interpretation-based Approach to Mobile Code Safety

    Electronic Notes in Theoretical Computer Science

  6. Efficient local unfolding with ancestor stacks for full prolog

    Lecture Notes in Computer Science

2004

  1. A generic framework for context-sensitive analysis of modular programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049, pp. 233-260

  2. A generic persistence model for (C)LP systems (and two useful implementations)

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

  3. Abstract interpretation-based mobile code certification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3132, pp. 446-447

  4. Experiments in abstract interpretation-based code certification for pervasive systems

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

2003

  1. A generic persistence model for (C)LP systems

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