Publications dans lesquelles il/elle collabore avec Manuel de Hermenegildo Salinas (6)

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

2006

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

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

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)

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)