Rafael Caballero

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 6

Top Topics

Constraint Handling Rules

Deductive Database Systems

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A unified framework for declarative debugging and testing. Inf. Softw. Technol. 129 (2021)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program. 107 (2019)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
Declarative debugging of concurrent Erlang programs. J. Log. Algebraic Methods Program. 101 (2018)
Rafael Caballero, Adrián Riesco, Josep Silva
A Survey of Algorithmic Debugging. ACM Comput. Surv. 50 (4) (2017)
Rafael Caballero, Sagar Sen, Jan Nygård
Anticipating anonymity in screening program databases. Int. J. Medical Informatics 103 (2017)
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
Debugging Meets Testing in Erlang. TAP@STAF (2016)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Debugging of wrong and missing answers for datalog programs with constraint handling rules. PPDP (2015)
Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR (2015)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. 110 (2015)
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. 111 (2015)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
EDD: A Declarative Debugger for Sequential Erlang Programs. TACAS (2014)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based implementation for CLP with qualification and proximity. Theory Pract. Log. Program. 14 (1) (2014)
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
Finite type extensions in constraint programming. PPDP (2013)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A Declarative Debugger for Sequential Erlang Programs. TAP@STAF (2013)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XPath Query Processing in a Functional-Logic Language. Electron. Notes Theor. Comput. Sci. 282 (2012)
Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes
Test-Case Generation for SQL Nested Queries with Existential Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based Implementation for CLP with Qualification and Proximity CoRR (2012)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Declarative Debugging of Wrong and Missing Answers for SQL Views. FLOPS (2012)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR (2011)
Rafael Caballero
A program transformation for returning states in functional-logic programs. PEPM (2011)
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
XQuery in the Functional-Logic Language Toy. WFLP (2011)
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR (2011)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Integrating XPath with the Functional-Logic Language Toy. PADL (2011)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Algorithmic Debugging of SQL Views. Ershov Memorial Conference (2011)
Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
A Deductive Database with Datalog and SQL Query Languages. APLAS (2011)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Generic Scheme for Qualified Constraint Functional Logic Programming CoRR (2011)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Similarity-based Reasoning in Qualified Logic Programming CoRR (2010)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
Applying Constraint Logic Programming to SQL Test Case Generation. FLOPS (2010)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based Implementation for CLP with Qualification and Proximity CoRR (2010)
Rafael Caballero, John P. Gallagher
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) CoRR (2010)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Qualified Computations in Functional Logic Programming. ICLP (2009)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
A Declarative Debugger for Maude Functional Modules. WRLA (2008)
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
Declarative Debugging of Rewriting Logic Specifications. WADT (2008)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
A Declarative Debugger for Maude. AMAST (2008)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB (2008)
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
A New Proposal for Debugging Datalog Programs. Electron. Notes Theor. Comput. Sci. 216 (2008)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Similarity-based reasoning in qualified logic programming. PPDP (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models (2008)
Rafael Caballero, Yolanda García-Ruiz
Implementing Dynamic-Cut in TOY. Electron. Notes Theor. Comput. Sci. 177 (2007)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP (2007)
Rafael Caballero, Christian Hermanns, Herbert Kuchen
Algorithmic Debugging of Java Programs. Electron. Notes Theor. Comput. Sci. 177 (2007)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP (2006)
Rafael Caballero
A declarative debugger of incorrect answers for constraint functional-logic programs. WCFLP (2005)
Rafael Caballero, Mario Rodríguez-Artalejo
DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS (2004)
Rafael Caballero, Francisco Javier López-Fraguas
Improving Deterministic Computations in Lazy Functional Logic Languages. J. Funct. Log. Program. 2003 (2003)
Rafael Caballero, Francisco Javier López-Fraguas
Dynamic-Cut with Definitional Trees. FLOPS (2002)
Rafael Caballero, Wolfgang Lux
Declarative Debugging for Encapsulated Search. Electron. Notes Theor. Comput. Sci. 76 (2002)
Rafael Caballero, Mario Rodríguez-Artalejo
A Declarative Debugging System for Lazy Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 64 (2002)
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS (2001)
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. WFLP (2000)
Rafael Caballero, Francisco Javier López-Fraguas
A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming (1999)
Rafael Caballero, Francisco Javier López-Fraguas
Extensions: A Technique for Structuring Functional-Logic Programs. Ershov Memorial Conference (1999)
Rafael Caballero, Francisco Javier López-Fraguas
Parsing with Non-Deterministic Functions. APPIA-GULP-PRODE (1998)