J
Jaime Sánchez-Hernández
Researcher at Complutense University of Madrid
Publications - 31
Citations - 300
Jaime Sánchez-Hernández is an academic researcher from Complutense University of Madrid. The author has contributed to research in topics: Logic programming & Rewriting. The author has an hindex of 9, co-authored 31 publications receiving 292 citations.
Papers
More filters
Proceedings ArticleDOI
A simple rewrite notion for call-time choice semantics
TL;DR: The proposed notion of rewriting uses an explicit representation for sharing with let-constructions and is proved to be equivalent to the CRWL approach, providing in particular soundness and completeness of let-rewriting with respect to rewriting for a class of programs which are confluent in a certain semantic sense.
Posted Content
A Proof Theoretic Approach to Failure in Functional Logic Programming
TL;DR: In this article, a proof calculus, CRWLF, is presented, which is able to deduce negative information from functional logic programs, from a proof-theoretic perspective.
Proceedings ArticleDOI
Rewriting and call-time choice: the HO case
TL;DR: This paper proposes HOlet-rewriting, a notion of rewriting with local bindings that turns out to be adequate for programs with HO non-deterministic functions, as it is shown by strong equivalence results with respect to HOCRWL, a previously existing semantic framework for such programs.
Journal ArticleDOI
A proof theoretic approach to failure in functional logic programming
TL;DR: A proof calculus,CRWLF, is presented, which is able to deduce negative information from CRWL-programs, and is unable to prove ‘finite’ failure of reduction within CRWWL.
Journal Article
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
TL;DR: This paper adapts a formal framework for checking (finite) failure of reduction for building a prototype for a functional-logic language with constructive failure as the natural counterpart to negation in logic programming.