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 × Italy
1 × Portugal
Collaborated with:
S.Nieva F.Sáenz-Pérez J.Sánchez-Hernández
Talks about:
hereditari (1) constraint (1) implement (1) formula (1) databas (1) coverag (1) broader (1) semant (1) recurs (1) harrop (1)

Person: Gabriel Aranda-López

DBLP DBLP: Aranda-L=oacute=pez:Gabriel

Contributed to:

PADL 20132013
PPDP 20092009

Wrote 2 papers:

PADL-2013-Aranda-LopezNSS #formal method #recursion #sql
Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
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.

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.