Publicaciones en las que colabora con RAFAEL CABALLERO ROLDÁN (7)

2012

  1. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

  2. Simplifying questions in maude declarative debugger by transforming proof trees

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

2009

  1. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  2. Declarative debugging of rewriting logic specifications

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

2008

  1. A declarative debugger for Maude

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

  2. A declarative debugger for Maude functional modules

    Electronic Notes in Theoretical Computer Science

  3. Declarative debugging of membership equational logic specifications

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