E-LIB Suche - Ergebnisse für: Sánchez-Hernández, Jaime

1

SMT-Based Test-Case Generation and Validation for Programs ..:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Peña, Ricardo ; Sánchez-Hernández, Jaime ; Garrido, Miguel. - p. 188-205 , 2023

Link: https://doi.org/10.1007/..

2

Xenoimplant of Collagen Matrix Scaffold in Liver Tissue as ..:

Martinez-Castillo, Moises ; León-Mancilla, Benjamín ; Ramírez-Rico, Gerardo...
Frontiers in Medicine. 9 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

3

White-Box Path Generation in Recursive Programs:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Peña, Ricardo ; Sánchez-Hernández, Jaime - p. 121-135 , 2020

Link: https://doi.org/10.1007/..

4

HR-SQL: Extending SQL with hypothetical reasoning and impro..:

Nieva, Susana ; Sáenz-Pérez, Fernando ; Sánchez-Hernández, Jaime
Information and Computation. 271 (2020) - p. 104485 , 2020

Link: https://doi.org/10.1016/..

5

Automatic subgenre classification in an electronic dance mu..:

Caparrini, Antonio ; Arroyo, Javier ; Pérez-Molina, Laura.
Journal of New Music Research. 49 (2020) 3 - p. 269-284 , 2020

Link: https://doi.org/10.1080/..

6

An extended constraint deductive database: Theory and imple..:

Aranda-López, Gabriel ; Nieva, Susana ; Sáenz-Pérez, Fernando.
The Journal of Logic and Algebraic Programming. 83 (2014) 1 - p. 20-52 , 2014

Link: https://doi.org/10.1016/..

7

Rewriting and narrowing for constructor systems with call-t..:

LÓPEZ-FRAGUAS, FRANCISCO J. ; MARTIN-MARTIN, ENRIQUE ; RODRÍGUEZ-HORTALÁ, JUAN.
Theory and Practice of Logic Programming. 14 (2012) 2 - p. 165-213 , 2012

Link: https://doi.org/10.1017/..

8

A flexible framework for programming with non-deterministic..:

, In: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation,

Lopez-Fraguas, Francisco J. ; Rodriguez-Hortala, Juan ; Sanchez-Hernandez, Jaime - p. 91-100 , 2009

Link: https://dl.acm.org/doi/1..

9

Implementing a fixed point semantics for a constraint deduc..:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,

Aranda-López, Gabriel ; Nieva, Susana ; Sáenz-Pérez, Fernando. - p. 117-128 , 2009

Link: https://dl.acm.org/doi/1..

10

Functions and Lazy Evaluation in Prolog:

Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime
Electronic Notes in Theoretical Computer Science. 206 (2008) - p. 153-174 , 2008

Link: https://doi.org/10.1016/..

11

Formalizing a constraint deductive database language based ..:

, In: Proceedings of the 9th international conference on Functional and logic programming,

Nieva, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando - p. 289-304 , 2008

Link: https://dl.acm.org/doi/1..

12

Rewriting and call-time choice : the HO case:

, In: Proceedings of the 9th international conference on Functional and logic programming,

López-Fraguas, Francisco Javier ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime - p. 147-162 , 2008

Link: https://dl.acm.org/doi/1..

13

A simple rewrite notion for call-time choice semantics:

, In: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming,

López-Fraguas, Francisco J. ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime - p. 197-208 , 2007

Link: https://dl.acm.org/doi/1..

14

A proof theoretic approach to failure in functional logic p..:

LÓPEZ-FRAGUAS, FRANCISCO J. ; SÁNCHEZ-HERNÁNDEZ, JAIME
Theory and Practice of Logic Programming. 4 (2004) 1+2 - p. 41-74 , 2004

Link: https://doi.org/10.1017/..

15

Rewriting and Call-Time Choice: The HO Case:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

López-Fraguas, Francisco Javier ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime - p. 147-162 ,

Link: https://doi.org/10.1007/..