RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Publicaciones en las que colabora con RAFAEL CABALLERO ROLDÁN (12)
2015
-
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
-
Two type extensions for the constraint modeling language MiniZinc
Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189
2013
-
Finite type extensions in constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
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 wrong and missing answers for SQL views
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)
2008
-
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92
-
A theoretical framework for the declarative debugging of datalog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)