Follow
Yolanda García-Ruiz
Yolanda García-Ruiz
Associate Professor of Computer Science, Complutense University of Madrid
Verified email at fdi.ucm.es - Homepage
Title
Cited by
Cited by
Year
A Theoretical Framework for the Declarative Debugging of Datalog Programs, Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March …
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Springer-Verlag, Berlin, Heidelberg, 2008
43*2008
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, 143-159, 2008
432008
Applying Constraint Logic Programming to SQL Test Case Generation
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Functional and Logic Programming, 191-206, 2010
292010
Declarative Debugging of Wrong and Missing Answers for SQL Views
R Caballero, Y García-Ruiz, F Sáenz-Pérez
23*
Algorithmic Debugging of SQL Views
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Eigth Ershov Informatics Conference, PSI 11, 2011
202011
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
A Deductive Database with Datalog and SQL Query Languages
F Sáenz-Pérez, R Caballero, Y García-Ruiz
Programming Languages and Systems, 66-73, 2011
142011
Integrating XPath with the functional-logic language toy
R Caballero, Y García-Ruiz, F Sáenz-Pérez
Practical Aspects of Declarative Languages, 145-159, 2011
102011
Towards a Set Oriented Calculus for Logic Programming
R Caballero, Y García-Ruiz, F Sáenz-Pérez
82006
XPath Query Processing in a Functional-Logic Language
JM Almendros-Jiménez, R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
7*
Implementing Dynamic-Cut in TOY
R Caballero, Y García-Ruiz
Electronic Notes in Theoretical Computer Science 177, 153-168, 2007
42007
XQuery in the functional-logic language Toy
JM Almendros-Jiménez, R Caballero, Y García-Ruiz, F Sáenz-Pérez
Functional and Constraint Logic Programming, 35-51, 2011
32011
A Declarative Embedding of XQuery in a Functional-Logic Language
J Almendros-Jiménez, R Caballero, Y García-Ruiz, F Sáenz-Pérez
Logic-Based Program Synthesis and Transformation, 42-56, 2012
22012
Embedding XQuery in Toy⋆
J Almendros-Jiménez, R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
2011
SOCLP: A Set Oriented Calculus for Logic Programming
R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
2006
Debugging Datalog Programs Through CHRs (extended version)⋆
R Caballero, Y Garcıa-Ruiz, F Sáenz-Pérez
Declarative Debugging of Wrong and Missing Answers for SQL Views (extended version)⋆
R Caballero, Y García-Ruiz, F Sáenz-Pérez
The system can't perform the operation now. Try again later.
Articles 1–17