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

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

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)