Jaime Sánchez-Hernández

MaRDI QIDQ2037427zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Information and Computation	2020-03-12	Paper
A generic intermediate representation for verification condition generation Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics Theory and Practice of Logic Programming	2014-04-17	Paper
An extended constraint deductive database: theory and implementation The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Functions and lazy evaluation in Prolog	2014-01-10	Paper
Equivalence of two formal semantics for functional logic programs Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Failure and equality in functional logic programming	2013-08-27	Paper
Functional logic programming with failure: a set-oriented view Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
A Fully Abstract Semantics for Constructor Systems Rewriting Techniques and Applications	2009-06-30	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation Functional and Logic Programming	2008-04-11	Paper
Rewriting and Call-Time Choice: The HO Case Functional and Logic Programming	2008-04-11	Paper
A proof theoretic approach to failure in functional logic programming Theory and Practice of Logic Programming	2004-09-24	Paper
scientific article; zbMATH DE number 2085287 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1942461 (Why is no real title available?)	2003-06-30	Paper
scientific article; zbMATH DE number 1696795 (Why is no real title available?) (available as arXiv preprint)	2002-01-28	Paper

Research outcomes over time

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