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: (sorry, it cannot be marked for copy and paste in order to avoid span)

Some Research Papers

Applying Constraint Logic Programming to SQL Test Case Generation. (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 To appear.

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. To appear.
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. To appear.
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.

Events

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).

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 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:

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.

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

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

Double Star Observations (in Spanish)

Last Updated: Sep. 2009