Publications (28) Publications de JAIME SÁNCHEZ HERNÁNDEZ

2023

  1. 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

  1. Automatic subgenre classification in an electronic dance music taxonomy

    Journal of New Music Research, Vol. 49, Núm. 3, pp. 269-284

  2. HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

    Information and Computation, Vol. 271

  3. 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

  1. 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

  1. An extended constraint deductive database: Theory and implementation

    Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52

  2. 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

  1. Formalizing a broader recursion coverage in SQL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. R-SQL: An SQL database system with extended recursion

    Electronic Communications of the EASST

2009

  1. A flexible framework for programming with non-deterministic functions

    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

  2. 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

  3. A fully abstract semantics for constructor systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. 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

  5. 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

  6. 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)

  7. Videojuegos móviles para aprender y pensar en ciencias

    Anales de la Universidad Metropolitana, Vol. 9, Núm. 1, pp. 67-86

2008

  1. A lightweight combination of semantics for non-deterministic functions

    18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

  2. 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)

  3. Functions and Lazy Evaluation in Prolog

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 153-174

  4. 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)