Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (23)

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2019

  1. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming

  2. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

2018

  1. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2014

  1. A transformational approach to resource analysis with typed-norms

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

2013

  1. A declarative debugger for sequential Erlang programs

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

2012

  1. SAT modulo linear arithmetic for solving polynomial constraints

    Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131

2009

  1. Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic

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

2005

  1. Operational semantics for declarative multi-paradigm languages

    Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829

2003

  1. A residualizing semantics for the partial evaluation of functional logic programs

    Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25

2002

  1. An operational semantics for declarative multi-paradigm languages

    Electronic Notes in Theoretical Computer Science

  2. Operational semantics for functional logic languages

    Electronic Notes in Theoretical Computer Science

  3. Recursive path orderings can be context-sensitive

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

  4. Symbolic profiling for multi-paradigm declarative languages

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

  5. The narrowing-driven approach to functional logic program specialization

    New Generation Computing, Vol. 20, Núm. 1, pp. 3-26

2001

  1. A practical partial evaluator for a multi-paradigm declarative language

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

  2. Measuring the effectiveness of partial evaluation in functional logic languages

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

  3. Partial evaluation of multi-paradigm declarative languages

    AI Communications, Vol. 14, Núm. 4, pp. 235-237

2000

  1. Improving functional logic programs by difference-lists

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

  2. La enseñanza de Java en los estudios de Informática

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones