BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × Poland
1 × Portugal
1 × USA
1 × United Kingdom
2 × Italy
2 × Japan
Collaborated with:
F.J.López-Fraguas J.Rodríguez-Hortalá S.Nieva F.Sáenz-Pérez G.Aranda-López J.M.Almendros-Jiménez A.Becerra-Terón
Talks about:
function (4) program (3) databas (3) semant (3) deduct (3) logic (3) hereditari (2) constraint (2) formula (2) system (2)

Person: Jaime Sánchez-Hernández

DBLP DBLP: S=aacute=nchez-Hern=aacute=ndez:Jaime

Contributed to:

PADL 20132013
PEPM 20092009
PPDP 20092009
RTA 20092009
FLOPS 20082008
PPDP 20072007
FLOPS 20022002
ICLP 20012001
CL 20002000
RTA 19991999

Wrote 11 papers:

PADL-2013-Aranda-LopezNSS #formal method #recursion #sql
Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming
A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.
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.
RTA-2009-Lopez-FraguasRS #semantics
A Fully Abstract Semantics for Constructor Systems (FJLF, JRH, JSH), pp. 320–334.
Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.
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-2007-Lopez-FraguasRS #semantics
A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.
FLOPS-2002-Lopez-FraguasS #functional #logic programming
Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.
ICLP-2001-Almendros-JimenezBS #database #deduction #functional #logic
A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.
CL-2000-Lopez-FraguasH #functional #logic programming #proving #source code
Proving Failure in Functional Logic Programs (FJLF, JSH), pp. 179–193.
RTA-1999-Lopez-FraguasH #declarative #multi #named #paradigm
TOY: A Multiparadigm Declarative System (FJLF, JSH), pp. 244–247.

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.