BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: S=aacute=enz-P=eacute=rez:Fernando

Contributed to:

PPDP 20152015
PADL 20132013
FLOPS 20122012
LOPSTR 20112011
PADL 20112011
FLOPS 20102010
PPDP 20092009
ESOP 20082008
FLOPS 20082008
PPDP 20082008
PADL 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.