Travelled to:1 × Denmark
1 × Hungary
1 × Portugal
1 × Spain
2 × Italy
2 × USA
3 × Japan
Collaborated with:R.Caballero Y.García-Ruiz S.Nieva J.Sánchez-Hernández S.E.Martín A.J.Fernández G.Aranda-López I.Castiñeiras M.T.Hortalá-González J.C.Fernández J.M.Almendros-Jiménez M.Rodríguez-Artalejo R.d.V.Vírseda
Talks about:constraint (8) languag (4) logic (4) toy (4) function (3) system (3) sql (3) hereditari (2) program (2) formula (2)
Person: Fernando Sáenz-Pérez
DBLP: S=aacute=enz-P=eacute=rez:Fernando
Contributed to:
2015
2013
2012
2011201120102009
2008200820082003Wrote 13 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.
- PADL-2013-Aranda-LopezNSS #formal method #recursion #sql
- Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
- FLOPS-2012-CaballeroGS #debugging #declarative #sql
- Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.
- FLOPS-2012-CastineirasS #constraints #performance #theorem proving
- Improving the Performance of FD Constraint Solving in a CFLP System (IC, FSP), pp. 88–103.
- FLOPS-2012-MartinFS #eclipse #integer #set
- Extending the TOY System with the ECLiPSe Solver over Sets of Integers (SEM, JCF, FSP), pp. 120–135.
- LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery
- A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
- PADL-2011-CaballeroGS #functional #xpath
- Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.
- FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing
- Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
- PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
- ESOP-2008-MartinFS #constraints #game studies
- Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.
- FLOPS-2008-NievaSS #constraints #database #deduction #formal method
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
- PPDP-2008-MartinFHRSV #constraints
- Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
- PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem
- Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.