RAFAEL CABALLERO ROLDAN
TítuloCitado porAño
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
732005
Algorithmic debugging of Java programs
R Caballero, C Hermanns, H Kuchen
Electronic Notes in Theoretical Computer Science 177, 75-89, 2007
562007
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
Recent Trends in Algebraic Development Techniques, 308-325, 2009
492009
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
422001
: a Declarative Debugging Tool for Functional-Logic Languages
R Caballero, M Rodríguez-Artalejo
International Symposium on Functional and Logic Programming, 70-84, 2004
382004
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
382002
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, N Martí-Oliet, R Caballero
The Journal of Logic and Algebraic Programming 81 (7-8), 851-897, 2012
362012
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, N Martí-Oliet, R Caballero
The Journal of Logic and Algebraic Programming 81 (7-8), 851-897, 2012
362012
A functional-logic perspective of parsing
R Caballero, FJ López-Fraguas
International Symposium on Functional and Logic Programming, 85-99, 1999
341999
A theoretical framework for the declarative debugging of datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez
International Workshop on Semantics in Data and Knowledge Bases, 143-159, 2008
302008
A theoretical framework for the declarative debugging of datalog programs
R Caballero, Y García-Ruiz, F Sáenz-Pérez
International Workshop on Semantics in Data and Knowledge Bases, 143-159, 2008
302008
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
262008
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
202010
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
192014
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
192009
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 wrong and missing answers for SQL views
R Caballero, Y García-Ruiz, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 73-87, 2012
172012
Importancia de los factores predisponentes en la candidiasis bucal
AC Poirier, E Chimenos, M Ferrer, J López, R Caballero
Medicina oral 2, 21-9, 1997
161997
Iniciación a la programación en C#: un enfoque práctico
YC López, OP Rodríguez, RC Roldán
Delta Publicaciones, 2007
152007
User’s manual for Toy
R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández
Tech. Rep. DIA 97/57, 1997
151997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20