Folgen
JAIME SANCHEZ HERNANDEZ
JAIME SANCHEZ HERNANDEZ
Bestätigte E-Mail-Adresse bei sip.ucm.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
TOY: A Multiparadigm Declarative System
FJ López Fraguas, J Sánchez Hernández
International Conference on Rewriting Techniques and Applications, 244-247, 1999
3001999
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
592007
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
412004
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
Proving failure in functional logic programs
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Computational Logic, 179-193, 2000
252000
Sistemas Informáticos
JS Hernández, MGZ Gil, DV Gómez, LMA Martín
182014
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
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
Disequalities may help to narrow
FJL Fraguas, JS Hernández
Proc. APPIAGULP-PRODE 99, 89-104, 1999
141999
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
132015
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
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
132002
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
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
122020
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
J Sánchez-Hernández
J. Univers. Comput. Sci. 12 (11), 1574-1593, 2006
122006
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
122003
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
112009
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
112008
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20