ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Universidad Politécnica de Valencia
Valencia, EspañaPublikationen in Zusammenarbeit mit Forschern von Universidad Politécnica de Valencia (5)
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2019
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
2018
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
2013
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)