Jaime Sánchez-Hernández

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 4

Top Topics

Commercial Database Systems

Intermediate Representation

Hypothetical Reasoning

Top Venues

J. Log. Algebraic Methods Program.

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

LPAR (short papers)

Publications

Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. Inf. Comput. 271 (2020)
Ricardo Peña, Jaime Sánchez-Hernández
White-Box Path Generation in Recursive Programs. TFP (2020)
Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
A Generic Intermediate Representation for Verification Condition Generation. LOPSTR (2015)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and narrowing for constructor systems with call-time choice semantics. Theory Pract. Log. Program. 14 (2) (2014)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
An extended constraint deductive database: Theory and implementation. J. Log. Algebraic Methods Program. 83 (1) (2014)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Formalizing a Broader Recursion Coverage in SQL. PADL (2013)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. LPAR (short papers) (2013)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and narrowing for constructor systems with call-time choice semantics CoRR (2012)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. PPDP (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Lightweight Combination of Semantics for Non-deterministic Functions CoRR (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A flexible framework for programming with non-deterministicfunctions. PEPM (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Fully Abstract Semantics for Constructor Systems. RTA (2009)
Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Functions and Lazy Evaluation in Prolog. Electron. Notes Theor. Comput. Sci. 206 (2008)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and Call-Time Choice: The HO Case. FLOPS (2008)
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. FLOPS (2008)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Equivalence of Two Formal Semantics for Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 188 (2007)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. INAP/WLP (2007)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A simple rewrite notion for call-time choice semantics. PPDP (2007)
Jaime Sánchez-Hernández
Constructive Failure in Functional-Logic Programming: From Theory to Implementation. J. Univers. Comput. Sci. 12 (11) (2006)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
A Proof Theoretic Approach to Failure in Functional Logic Programming. Theory Pract. Log. Program. 4 (1-2) (2004)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Failure and equality in functional logic programming. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Narrowing Failure in Functional Logic Programming. FLOPS (2002)
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández
A Computational Model for Functional Logic Deductive Databases. ICLP (2001)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Functional Logic Programming with Failure: A Set-Oriented View. LPAR (2001)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Proving Failure in Functional Logic Programs. Computational Logic (2000)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Disequalities May Help to Narrow. APPIA-GULP-PRODE (1999)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
: A Multiparadigm Declarative System. RTA (1999)