Jaime Sánchez-Hernández

28 papers B 2C 5Misc 3Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2023 — conf
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
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
2020 — conf
White-Box Path Generation in Recursive Programs.
TFP
Ricardo Peña, Jaime Sánchez-Hernández
2015 C conf
A Generic Intermediate Representation for Verification Condition Generation.
LOPSTR
Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
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
2014 J jnl
Rewriting and narrowing for constructor systems with call-time choice semantics.
Theory Pract. Log. Program.
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, 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
2012 J jnl
Rewriting and narrowing for constructor systems with call-time choice semantics
CoRR
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2009 — conf
A Fully Abstract Semantics for Constructor Systems.
RTA
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2009 J jnl
A Lightweight Combination of Semantics for Non-deterministic Functions
CoRR
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2009 C conf
A flexible framework for programming with non-deterministicfunctions.
PEPM
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, 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
2008 Misc conf
Rewriting and Call-Time Choice: The HO Case.
FLOPS
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2007 C conf
A simple rewrite notion for call-time choice semantics.
PPDP
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2007 — conf
Functions and Lazy Evaluation in Prolog.
PROLE
Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2007 — conf
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.
INAP/WLP
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2006 J jnl
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
J. Univers. Comput. Sci.
Jaime Sánchez-Hernández
2006 — conf
Equivalence of Two Formal Semantics for Functional Logic Programs.
PROLE
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
2004 J jnl
A Proof Theoretic Approach to Failure in Functional Logic Programming.
Theory Pract. Log. Program.
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
2003 — conf
Failure and equality in functional logic programming.
WFLP
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
2002 Misc conf
Narrowing Failure in Functional Logic Programming.
FLOPS
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
2001 B conf
A Computational Model for Functional Logic Deductive Databases.
ICLP
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández
2001 B conf
Functional Logic Programming with Failure: A Set-Oriented View.
LPAR
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
2000 — conf
Proving Failure in Functional Logic Programs.
Computational Logic
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
1999 — conf
Disequalities May Help to Narrow.
APPIA-GULP-PRODE
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández