![Foto de JAIME](/img/nophoto.png)
JAIME
SÁNCHEZ HERNÁNDEZ
Profesor titular de universidad
Publicacións (28) Publicacións de JAIME SÁNCHEZ HERNÁNDEZ
2023
-
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 188-205
2020
-
Automatic subgenre classification in an electronic dance music taxonomy
Journal of New Music Research, Vol. 49, Núm. 3, pp. 269-284
-
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
Information and Computation, Vol. 271
-
White-Box Path Generation in Recursive Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A generic intermediate representation for verification condition generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
An extended constraint deductive database: Theory and implementation
Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52
-
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
2013
-
Formalizing a broader recursion coverage in SQL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
R-SQL: An SQL database system with extended recursion
Electronic Communications of the EASST
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)
-
Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones
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
-
Implementing a fixpoint semantics for a constraint deductive database based on hereditary harrop formulas
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
-
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)
-
Videojuegos móviles para aprender y pensar en ciencias
Anales de la Universidad Metropolitana, Vol. 9, Núm. 1, pp. 67-86
2008
-
A lightweight combination of semantics for non-deterministic functions
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
-
Formalizing a constraint deductive database language based on Hreditary Harrop formulas with negation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)