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 | 43 | 2008 |
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 | 29 | 2010 |
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 | 20 | 2011 |
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 | 17 | 2008 |
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 | 14 | 2011 |
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 | 10 | 2011 |
Towards a Set Oriented Calculus for Logic Programming R Caballero, Y García-Ruiz, F Sáenz-Pérez | 8 | 2006 |
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 | 4 | 2007 |
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 | 3 | 2011 |
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 | 2 | 2012 |
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 | | |