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

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

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

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

    Lecture Notes in Computer Science

  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)