Follow
JAIME SANCHEZ HERNANDEZ
Title
Cited by
Cited by
Year
TOY: A Multiparadigm Declarative System
FJ López Fraguas, J Sánchez Hernández
International Conference on Rewriting Techniques and Applications, 244-247, 1999
2971999
A simple rewrite notion for call-time choice semantics
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
582007
Rewriting and call-time choice: the HO case
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008
402008
A proof theoretic approach to failure in functional logic programming
FJ López-Fraguas, J Sánchez-Hernández
Theory and Practice of Logic Programming 4 (1-2), 41-74, 2004
402004
Proving failure in functional logic programs
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Computational Logic, 179-193, 2000
242000
Functional logic programming with failure: A set-oriented view
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Logic for Programming Artificial Intelligence …, 2001
182001
Sistemas Informáticos
JS Hernández, MGZ Gil, DV Gómez, LMA Martín
172014
User’s manual for Toy
R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández
Tech. Rep. DIA 97/57, 1997
161997
Formalizing a broader recursion coverage in SQL
G Aranda, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández
Practical Aspects of Declarative Languages: 15th International Symposium …, 2013
152013
A fully abstract semantics for constructor systems
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
International Conference on Rewriting Techniques and Applications, 320-334, 2009
132009
Toy: A multiparadigm declarative language
M Abengózar-Carneros, P Arenas-Sánchez, R Caballero-Roldán, ...
Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación …, 2002
132002
Disequalities may help to narrow
FJL Fraguas, JS Hernández
Proc. APPIAGULP-PRODE 99, 89-104, 1999
131999
Narrowing failure in functional logic programming
FJ López-Fraguas, J Sánchez-Hernández
International Symposium on Functional and Logic Programming, 212-227, 2002
122002
A generic intermediate representation for verification condition generation
M Montenegro, R Peńa, J Sánchez-Hernández
Logic-Based Program Synthesis and Transformation: 25th International …, 2015
112015
Equivalence of two formal semantics for functional logic programs
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Electronic Notes in Theoretical Computer Science 188, 117-142, 2007
112007
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
J Sánchez-Hernández
J. Univers. Comput. Sci. 12 (11), 1574-1593, 2006
112006
Failure and equality in functional logic programming
FJ López-Fraguas, J Sánchez-Hernández
Electronic Notes in Theoretical Computer Science 86 (3), 123-143, 2003
112003
Automatic subgenre classification in an electronic dance music taxonomy
A Caparrini, J Arroyo, L Pérez-Molina, J Sánchez-Hernández
Journal of New Music Research 49 (3), 269-284, 2020
102020
A flexible framework for programming with non-deterministicfunctions
FJ López-Fraguas, J Rodriguez-Hortala, J Sánchez-Hernández
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
102009
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation
S Nieva, J Sánchez-Hernández, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 289-304, 2008
102008
The system can't perform the operation now. Try again later.
Articles 1–20