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 × France
1 × Italy
1 × Portugal
3 × Japan
Collaborated with:
F.Sáenz-Pérez J.Sánchez-Hernández J.Leach G.Aranda-López J.Lipton M.García-Díaz M.Rodríguez-Artalejo
Talks about:
constraint (6) hereditari (3) program (3) languag (3) formula (3) harrop (3) logic (3) base (3) databas (2) semant (2)

Person: Susana Nieva

DBLP DBLP: Nieva:Susana

Contributed to:

PADL 20132013
PPDP 20092009
FLOPS 20082008
TLCA 20072007
FLOPS 20022002
FLOPS 20012001
ILPS 19971997

Wrote 7 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.
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.
TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics
Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
FLOPS-2002-Garcia-DiazN #constraints #quantifier
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.
FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language
A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
ILPS-1997-LeachNR #constraints #logic programming
Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.

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.