JAIME
SÁNCHEZ HERNÁNDEZ
Profesor titular de universidad
JUAN
RODRÍGUEZ HORTALÁ
Chercheur dans le période 2008-2020
Publications dans lesquelles il/elle collabore avec JUAN RODRÍGUEZ HORTALÁ (10)
2014
-
Rewriting and narrowing for constructor systems with call-time choice semantics
Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213
2009
-
A flexible framework for programming with non-deterministic functions
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
-
A fully abstract semantics for constructor systems
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
A fully abstract semantics for constructor systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Narrowing for first order functional logic programs with call-time choice semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A lightweight combination of semantics for non-deterministic functions
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
-
Functions and Lazy Evaluation in Prolog
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 153-174
-
Rewriting and call-time choice: The HO case
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
A simple rewrite notion for call-time choice semantics
PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
-
Equivalence of Two Formal Semantics for Functional Logic Programs
Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 117-142