Publicaciones (27) Publicaciones de JUAN RODRÍGUEZ HORTALÁ

2023

  1. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132

2019

  1. FlinkCheck: Property-based testing for apache flink

    IEEE Access, Vol. 7, pp. 150369-150382

  2. Property-based testing for spark streaming

    Theory and Practice of Logic Programming, Vol. 19, Núm. 4, pp. 574-602

2016

  1. Polymorphic types in erlang function specifications

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

  2. Temporal random testing for spark streaming

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

2015

  1. A liberal type system for functional logic programs

    Mathematical Structures in Computer Science

2014

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

  2. Safe typing of functional logic programs with opaque patterns and local bindings

    Information and Computation, Vol. 235, pp. 36-69

  3. Singular and plural functions for functional logic programming

    Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 65-116

2012

  1. S-narrowing for constructor systems

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

  2. Transparent function types: Clearing up opacity

    PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

  3. Well-typed narrowing with extra variables in functional-logic programming

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

2010

  1. A natural implementation of plural semantics in maude

    Electronic Notes in Theoretical Computer Science

  2. Liberal typing for functional logic programs

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

  3. New results on type systems for functional logic programming

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

  4. Programming with singular and plural non-deterministic functions

    Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

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

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

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

  4. Advances in type systems for functional-logic programming

    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