Susana Nieva

24 papers B 2C 3Misc 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Extending Liquid Types to Arrays.
ACM Trans. Comput. Log.
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2020 J jnl
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.
Inf. Comput.
Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2018 J jnl
Kripke semantics for higher-order type theory applied to constraint logic programming languages.
Theor. Comput. Sci.
James Lipton, Susana Nieva
2017 B conf
Liquid Types for Array Invariant Synthesis.
ATVA
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2015 J jnl
R-SQL: An SQL Database System with Extended Recursion.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fernando Sáenz-Pérez, Susana Nieva, Jaime Sánchez-Hernández, Gabriel Aranda-López
2014 J jnl
An extended constraint deductive database: Theory and implementation.
J. Log. Algebraic Methods Program.
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2013 C conf
Formalizing a Broader Recursion Coverage in SQL.
PADL
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2013 — conf
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.
LPAR (short papers)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2009 C conf
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
PPDP
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
2008 Misc conf
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
FLOPS
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez
2007 — conf
Higher-Order Logic Programming Languages with Constraints: A Semantics.
TLCA
James Lipton, Susana Nieva
2004 J jnl
Constraint Logic Programming with Hereditary Harrop Formula
CoRR
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
2004 J jnl
Formalizing Two Fixed Point Semantics for HH(C).
J. Funct. Log. Program.
Miguel García-Díaz, Susana Nieva
2004 C conf
Providing declarative semantics for HH extended constraint logic programs.
PPDP
Miguel García-Díaz, Susana Nieva
2003 J jnl
Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.
J. Funct. Log. Program.
Miguel García-Díaz, Susana Nieva
2002 Misc conf
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.
FLOPS
Miguel García-Díaz, Susana Nieva
2001 Misc conf
A Higher-Order Logic Programming Language with Constraints.
FLOPS
Javier Leach, Susana Nieva
2001 J jnl
Constraint Logic Programming with Hereditary Harrop Formula.
Theory Pract. Log. Program.
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
2000 — conf
A Higher-Order Programming Language with Constraints.
WFLP
Javier Leach, Susana Nieva
1997 — conf
Constraint Logic Programming with Hereditary Harrop Formulas.
ILPS
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
1996 — conf
Free Variable Tableaux for a Many Sorted Logic with Preorders.
AMAST
Antonio Gavilanes, Javier Leach, Susana Nieva
1996 — conf
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.
AISMC
Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
1993 J jnl
Foundations of a theorem prover for functional and mathematical uses.
J. Appl. Non Class. Logics
Javier Leach, Susana Nieva
1992 B conf
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.
LPAR
Javier Leach, Susana Nieva