RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Publicaciones en las que colabora con RAFAEL CABALLERO ROLDÁN (29)
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
-
Checking Java assertions using automated test-case generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Debugging of wrong and missing answers for datalog programs with constraint handling rules
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
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
-
A declarative embedding of XQuery in a functional-logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algorithmic debugging of SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Declarative debugging of rewriting logic specifications
Journal of Logic and Algebraic Programming
-
Declarative debugging of wrong and missing answers for SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
2011
-
A deductive database with datalog and SQL query languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
XQuery in the Functional-Logic Language Toy
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings
-
XQuery in the functional-logic language toy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Applying constraint logic programming to SQL test case generation
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