Jaime Sánchez-Hernández

Available identifiers

Publication	Date of Publication	Type
White-box path generation in recursive programs	2021-07-01	Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems	2020-03-12	Paper
A generic intermediate representation for verification condition generation	2016-02-05	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics	2014-04-17	Paper
An extended constraint deductive database: theory and implementation	2014-02-25	Paper
Functions and lazy evaluation in Prolog	2014-01-10	Paper
Equivalence of two formal semantics for functional logic programs	2013-12-20	Paper
Failure and equality in functional logic programming	2013-08-27	Paper
Functional logic programming with failure: a set-oriented view	2011-05-06	Paper
A Fully Abstract Semantics for Constructor Systems	2009-06-30	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation	2008-04-11	Paper
Rewriting and Call-Time Choice: The HO Case	2008-04-11	Paper
A proof theoretic approach to failure in functional logic programming	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4736523	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4409162	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767053	2002-01-28	Paper

This page was built for person: Jaime Sánchez-Hernández