Follow
RAFAEL CABALLERO ROLDAN
Title
Cited by
Cited by
Year
Predicting students' knowledge after playing a serious game based on learning analytics data: A case study
C Alonso‐Fernández, I Martínez‐Ortiz, R Caballero, M Freire, ...
Journal of Computer Assisted Learning 36 (3), 350-358, 2020
972020
A declarative debugger of incorrect answers for constraint functional-logic programs
R Caballero
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
772005
Algorithmic debugging of Java programs
R Caballero, C Hermanns, H Kuchen
Electronic Notes in Theoretical Computer Science 177, 75-89, 2007
672007
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
Recent Trends in Algebraic Development Techniques, 308-325, 2009
522009
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
492017
A theoretical framework for the declarative debugging of datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Semantics in Data and Knowledge Bases: Third International Workshop, SDKB …, 2008
432008
: a Declarative Debugging Tool for Functional-Logic Languages
R Caballero, M Rodríguez-Artalejo
International Symposium on Functional and Logic Programming, 70-84, 2004
432004
Theoretical foundations for the declarative debugging of lazy functional logic programs
R Caballero, FJ López-Fraguas, M Rodríguez-Artalejo
International Symposium on Functional and Logic Programming, 170-184, 2001
432001
A declarative debugging system for lazy functional logic programs
R Caballero, M Rodríguez-Artalejo
Electronic Notes in Theoretical Computer Science 64, 113-175, 2002
402002
A functional-logic perspective of parsing
R Caballero, FJ López-Fraguas
International Symposium on Functional and Logic Programming, 85-99, 1999
351999
Applying constraint logic programming to SQL test case generation
R Caballero, Y García-Ruiz, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 191-206, 2010
292010
Similarity-based reasoning in qualified logic programming
R Caballero, M Rodríguez-Artalejo, CA Romero-Díaz
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
292008
Iniciación a la programación en C#
Y Cerezo López, O Peñalba Rodriguez, R Caballero Roldán
Las Rozas: Delta Publicaciones, 2007
28*2007
EDD: A declarative debugger for sequential erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tools and Algorithms for the Construction and …, 2014
242014
A declarative debugger for Maude functional modules
R Caballero, N Martí-Oliet, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 238 (3), 63-81, 2009
242009
Declarative debugging of wrong and missing answers for SQL views
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
232012
Algorithmic debugging of SQL views
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Perspectives of Systems Informatics, 77-85, 2012
202012
A new proposal for debugging datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Electronic Notes in Theoretical Computer Science 216, 79-92, 2008
182008
Constraint solving for generating glass-box test cases
C Lembeck, R Caballero, RA Müller, H Kuchen
Proceedings WFLP 4, 19-32, 2004
182004
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of logical and algebraic methods in programming 101, 22-41, 2018
162018
The system can't perform the operation now. Try again later.
Articles 1–20