Travelled to:1 × Denmark
1 × France
1 × Hungary
1 × Italy
1 × Portugal
2 × Spain
4 × USA
7 × Japan
Collaborated with:M.Rodríguez-Artalejo Y.García-Ruiz F.Sáenz-Pérez F.J.López-Fraguas A.Riesco R.d.V.Vírseda A.Verdejo N.Martí-Oliet C.A.Romero-Díaz E.Martin-Martin S.Tamarit ∅ P.J.Stuckey A.Tenorio-Fornes J.M.Almendros-Jiménez
Talks about:program (13) logic (13) declar (12) function (11) constraint (6) debug (6) answer (5) debugg (4) miss (4) languag (3)
Person: Rafael Caballero
DBLP: Caballero:Rafael
Contributed to:
2015
20142013
2013
2012
2011
2011
20112010
2012
2009200820082009200720062004200220011999Wrote 21 papers:
- PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code
- Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.
- TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
- PPDP-2013-CaballeroST #constraints #finite #programming
- Finite type extensions in constraint programming (RC, PJS, ATF), pp. 217–227.
- TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
- FLOPS-2012-CaballeroGS #debugging #declarative #sql
- Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.
- LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery
- A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
- LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving
- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
- PADL-2011-CaballeroGS #functional #xpath
- Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
- PEPM-2011-Caballero #functional #logic programming #program transformation #source code
- A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
- FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing
- Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
- WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification
- Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.
- ICLP-2009-CaballeroRR #functional #logic programming
- Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
- FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
- PPDP-2008-CaballeroRR #logic programming #reasoning #similarity
- Similarity-based reasoning in qualified logic programming (RC, MRA, CARD), pp. 185–194.
- WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude
- A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
- ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming
- Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
- ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming
- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
- FLOPS-2004-CaballeroR #debugging #declarative #functional #named
- DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
- FLOPS-2002-CaballeroL
- Dynamic-Cut with Definitional Trees (RC, FJLF), pp. 245–258.
- FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code
- Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.
- FLOPS-1999-CaballeroL #functional #parsing
- A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.