Y. García-Ruiz

From MaRDI portal
Person:2873794



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Algorithmic debugging of SQL views
Perspectives of Systems Informatics
2015-12-07Paper
A new proposal for debugging Datalog programs
Electronic Notes in Theoretical Computer Science
2014-03-26Paper
Implementing dynamic-cut in \(\mathcal{T}OY\)
Electronic Notes in Theoretical Computer Science
2014-01-24Paper
A declarative embedding of XQuery in a functional-logic language
Logic-Based Program Synthesis and Transformation
2013-03-13Paper
Applying constraint logic programming to SQL test case generation
Functional and Logic Programming
2010-05-04Paper
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
2009-01-22Paper


Research outcomes over time


This page was built for person: Y. García-Ruiz