RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
ADRIÁN RIESCO RODRÍGUEZ-rekin lankidetzan egindako argitalpenak (15)
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2019
-
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
2017
-
A survey of algorithmic debugging
ACM Computing Surveys, Vol. 50, Núm. 4
2016
-
Debugging meets testing in Erlang
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A zoom-declarative debugger for sequential Erlang programs
Science of Computer Programming, Vol. 110, pp. 104-118
2014
-
EDD: A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)
2012
-
Declarative debugging of rewriting logic specifications
Journal of Logic and Algebraic Programming
-
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
-
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81
-
Declarative debugging of rewriting logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A declarative debugger for Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science
-
Declarative debugging of membership equational logic specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)