Personal data Some research papers Events Systems Teaching Books Astronomy

Personal Data

Postal Address:
Rafael Caballero Roldán - Dpto. Sistemas Informáticos y Programación.
Facultad de Informática
C/ Prof. José García Santesmases, s/n.
E - 28040 Madrid. Spain
Room: 345, Fac. Informática Phone: +34 913 947 553 Fax: + 34 913 947 529 e-mail:

Some Research Papers

A Transformation-based Implementation for CLP with Qualification and Proximity(To appear) Rafael Caballero, Mario Rodríguez-Artalejo and Carlos Romero-Díaz
Theory and Practice of Logic Programming (TPLP). Cambridge University Press. ISSN 1471-0684.

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (To appear) Rafael Caballero, Adrian Riesco, Alberto Verdejo and Narciso Marti-Oliet
21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Lecture Notes in Computer Science. Vol. 7162

A Declarative Embedding of XQuery in a Functional-Logic Language (To appear) J.Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Lecture Notes in Computer Science. Vol. 7162, pages 77-85.

XQuery in the Functional-Logic language Toy (PDF) (BibTex)
J.Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)
Lecture Notes in Computer Science, Vol 6186, pages 35-51.

Algorithmic Debugging of SQL Views (To appear) R. Caballero, Y. García-Ruiz, F. Sáenz Pérez
Eighth International Andrei Ershov Memorial Conference Perspectives of Systems Informatics (PSI 2011)
Lecture Notes in Computer Science.

A program transformation for returning states in functional-logic programs (PDF) (BibTex)
R. Caballero
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM 2011). Pages 111-120
ACM ©2011. ISBN: 978-1-4503-0485-6

Integrating XPath with the Functional-Logic Language Toy (PDF) (BibTex)
R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
Proceedings of the Thirteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2011)
Lecture Notes in Computer Science, Volume 6539/2011, pages 145-159

Applying Constraint Logic Programming to SQL Test Case Generation. (PDF) (BibTex)
R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
In Matthias Blume and Germán Vidal, editors, Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)
Springer-Verlag LNCS 2010, Volume 6009, Pages 191-206

Qualified Computations in Functional Logic Progamming. (PDF) (BibTex).
R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz.
In P. Hill and D. Warren, editors, Logic Programming (ICLP’09)
Springer-Verlag LNCS volume 5649, pages 449-463.

Declarative debugging of rewriting logic specifications. (PDF) (BibTex).
A. Riesco, A. Verdejo, R. Caballero, N. Martí-Oliet.
In Recent Trends in Algebraic Development Techniques (WADT 2008).
Springer-Verlag LNCS volume 5486, pages 308-325.

Declarative debugging of membership equational logic specifications (PDF) (BibTex).
R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
In P. Degano, R. D. Nicola and J. Meseguer, editors, Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.
Springer-Verlag LNCS volume 5065, pages 147-163.

A declarative debugger for Maude (PDF) (BibTex).
A. Riesco, A. Verdejo, N. Martí-Oliet, and R. Caballero.
In J. Meseguer and G. Rosu, editors, Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008.
Springer-Verlag LNCS volume 5140, pages 116-221.

Similarity-based Reasoning in Qualified Logic Programming (PDF) (BibTex).
R. Caballero, M. Rodríguez-Artalejo and C. A. Romero-Díaz.
In Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08).
Pages 185-194. Valencia, Spain. ACM

A Theoretical Framework for the Declarative Debugging of Datalog Programs (PDF) (BibTex).
R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
Semantics in Data and Knowledge Bases SDKB 2008.
Springer-Verlag LNCS. DOI. Vol. 4925. Pages 143-159. ISBN 978-3-540-88593-1
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (PDF) (BibTex).
Rafael Caballero, Mario Rodríguez Artalejo and Rafael del Vado Vírseda.
In J. Garrigue and M. Hermenegildo (Eds.): Proceedings of FLOPS 2008.
Springer-Verlag LNCS . Vol. 4989. Pages 305-321. ISBN 978-3-540-78968-0
A declarative debugger for Maude functional modules. (PDF) (BibTex).
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco and Alberto Verdejo.
In 7th International Workshop on Rewriting Logic and its Applications, WRLA 2008.
Electronic Notes in Computer Science. Volume 238(3), Pages 63-81, ISSN: 1571-0661
A new proposal for debugging datalog programs. (PDF) (BibTex).
R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez.
In 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP’07), June.
Electronic Notes in Computer Science. Volume 216. Pages 79-92, ISSN: 1571-0661
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. (PDF) (BibTex).
R. Caballero, M. Rodríguez Artalejo and R. del Vado Vírseda.
23rd International Conference on Logic Programming (ICLP 2007). September 2007.
Springer-Verlag LNCS. DOI. Volume 4670. ISBN: 978-3-540-74608-9. ISSN: 0302-9743 (Print) 1611-3349 (Online)
Implementing Dynamic Cut in Toy. (PDF) (BibTex).
Rafael Caballero and Yolanda García Ruíz
WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming,
Electronic Notes in Computer Science. DOI Volume 177 , (June 2007), ISSN:1571-0661.
Algorithmic Debugging of Java Programs. (PDF) (BibTex).
Rafael Caballero, Christian Hermanns, and Herbert Kuchen
WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming,
Electronic Notes in Computer Science. Volume 177 , (June 2007), ISSN:1571-0661.
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. (PDF) (BibTex).
Rafael Caballero, Mario Rodríguez-Artalejo, and Rafael del Vado Vírseda
Proc. of the Twenty Second International Conference on Logic Programming (ICLP 2006),
LNCS Vol. 4079, Springer-Verlag, 2006.
A declarative debugger of incorrect answers for constraint functional-logic programs (PDF) (BibTex)
Rafael Caballero. Proc. of WCFLP'05 (ISBN 1-59593-069-8). ACM
© ACM, (2005). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.
The definitive version was published in WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, (2005) http://doi.acm.org/10.1145/1085099.1085102
Constraint solving for generating glass-box test cases. (PS) (PDF).
R. Caballero, C. Lembeck, R.A. Müller and H. Kuchen. Proc. of WFLP'04 (ISSN 0935-3232)
Aachener Informatik Berichte.
DDT: A Declarative Debugging Tool for Functional-Logic Languages. (PS) (PDF).
Rafael Caballero and Mario Rodríguez-Artalejo.
7th Int Symp. FLOPS'04.
LNCS Vol. 2998 (ISBN 3-540-21402-X), Springer-Verlag, 2004.
Improving Deterministic Computations in Lazy Functional Logic Languages (PS) (PDF).
Rafael Caballero and Francisco J. López-Fraguas.
Special Issue on the Sixth International Symposium on Functional and Logic Programming.
The Journal of Functional and Logic Programming (ISSN 1080-5230), Vol. 2003, Special Issue 1.
Published by EAPLS, 2003.
Declarative Debugging for Encapsulated Search. (PS) (PDF).
Rafael Caballero and Wolfgang Lux.
Electronic Theoretical Notes in Computer Science, Vol. 76. (ISSN 1571-0661), 13 pages. Elsevier, 2003.
Dynamic Cut with Definitional Trees. (PS) (PDF).
Rafael Caballero and Francisco J. López-Fraguas.
6th Int Symp. FLOPS'02.
LNCS Vol. 2441 (ISBN 3-540-44233-2), pp. 245-258, Springer-Verlag, 2002.
A Declarative Debugging System for Lazy Functional-Logic Programs. (PS) (PDF).
Rafael Caballero and Mario Rodríguez-Artalejo.
Electronic Notes in Computer Science, Vol. 64. (ISSN 1571-0661). 63 pages. Elsevier, 2002.
Theoretical Foundations for the declarative debugging of lazy functional-logic programs. (PS) (PDF).
Rafael Caballero, Francisco J. López-Fraguas, and Mario Rodríguez-Artalejo.
5th Int Symp. FLOPS'01.
LNCS Vol. 2024 (ISBN 3-540-41739-7), pp. 170-184, Springer-Verlag, 2001.
Extensions: A technique for structuring functional-logic programs. (PS) (PDF).
Rafael Caballero and Francisco J. López-Fraguas.
Third. Int. Andrei Ershov Memorial Conf. on Perspectives of System Informatics (PSI),
LNCS Vol. 1755 (ISBN 3-540-67102-1 ), pp. 297-310. Springer-Verlag, 2000.
A functional-logic perspective of parsing. (PS) (PDF).
Rafael Caballero and Francisco J. López-Fraguas.
4th Int Symp. FLOPS'99.
LNCS Vol. 1722 (ISBN 3-540-66677-X), pp. 85-99, Springer-Verlag, 1999.
Functional-Logic Parsers in Toy. (PS) (PDF).
Rafael Caballero and Francisco J. López-Fraguas.
Technical Report SIP-7498. Univ. Complutense de Madrid, 1998.
Acerca de una Enumeración Peirceana de los Naturales (in Spanish). (PS) (PDF).
Fernando Soto, Edgar Osejo, and Rafael Caballero.
Boletín de Matemáticas (ISSN 0120-0380), Nueva Serie, Vol. III, pp. 83-96. Colombia, 1996.
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales (Ph. D. in Spanish). (PDF).
Rafael Caballero. Tesis Doctoral. Junio 2004.

Program committee

PROLE 2011 (PC), WFLP 2011 (PC), CICLOPS-WLPE 2010 (PC), WLPE 2009 (co-chair), WFLP 2009 (PC), WFLP 2006 (PC).

Systems

I have collaborated in the development of the Toy system, a Functional-Logic language.
The Toy report is a description of the functionalities of the system.

Teaching (in Spanish)

Matemática Discreta
Bases de Datos y Sistemas de Información
Métodos abstractos de cómputo (doctorado)

Extensiones de programación lógica (máster)
Apuntes de Java (CC. Físicas e Ing. Electrónica).

Metodología y Tecnología de la Programación

Books (in Spanish)

Matemática Discreta para Informáticos. Ejercicios resueltos.
Rafael Caballero Roldán, Teresa Hortalá González, Narciso Martí Oliet, Susana Nieva Soto, Antonio Pareja Lora, Mario Rodríguez Artalejo. Pearson Publicaciones. ISBN 978-84-8322-394-9
Iniciación a la programación en C#, un enfoque práctico.
Yolanda Cerezo López,Olga Peñalba Rodríguez, Rafael Caballero Roldán Delta Publicaciones. ISBN 84-96477-53-3.

Astronomy

Papers:

351 New Common Proper-Motion Pairs from the Sloan Digital Sky Survey (PDF)
Rafael Caballero. Journal of Double Star Observations, Volume 8, Number 1. Pages 58-70. 2012.

New Northern Hemisphere Common Proper- Motion Pairs from the UCAC-3 Catalog (PDF)
Rafael Caballero. Journal of Double Star Observations, Volume 6, Number 1. Pages 97-113. 2010.

Finding New Common Proper-Motion Binaries by Data Mining (PDF)
Rafael Caballero. Journal of Double Star Observations, Volume 5, Number 3. Pages 156-167. 2009.

Entradas duplicadas en el Washington Double Star Catalog (.PDF).
Rafael Caballero. El Observador de Estrellas Dobles. N.º 1 · enero/abril 2009

HJ1853: Old companion Lost, New Companion Found (PDF)
Rafael Caballero. Journal of Double Star Observations, Volume 4, Number 4. 2008.

Double Star Observations (in Spanish)

Last Updated: January 2012