Juan Rodríguez-Hortalá

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 7

Top Topics

Specification Languages

Top Venues

Theory Pract. Log. Program.

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132 (2023)
Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá
FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access 7 (2019)
Adrián Riesco, Juan Rodríguez-Hortalá
Property-Based Testing for Spark Streaming. Theory Pract. Log. Program. 19 (4) (2019)
Adrián Riesco, Juan Rodríguez-Hortalá
Property-based testing for Spark Streaming. CoRR (2018)
Adrián Riesco, Juan Rodríguez-Hortalá
Temporal Random Testing for Spark Streaming. IFM (2016)
Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
Polymorphic Types in Erlang Function Specifications. FLOPS (2016)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
A liberal type system for functional logic programs. Math. Struct. Comput. Sci. 25 (4) (2015)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and narrowing for constructor systems with call-time choice semantics. Theory Pract. Log. Program. 14 (2) (2014)
Adrián Riesco, Juan Rodríguez-Hortalá
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE (2014)
Adrián Riesco, Juan Rodríguez-Hortalá
Singular and plural functions for functional logic programming. Theory Pract. Log. Program. 14 (1) (2014)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Safe typing of functional logic programs with opaque patterns and local bindings. Inf. Comput. 235 (2014)
Adrián Riesco, Juan Rodríguez-Hortalá
S-Narrowing for Constructor Systems. ICTAC (2012)
Adrián Riesco, Juan Rodríguez-Hortalá
Singular and Plural Functions for Functional Logic Programming CoRR (2012)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Well-typed narrowing with extra variables in functional-logic programming. PEPM (2012)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and narrowing for constructor systems with call-time choice semantics CoRR (2012)
Enrique Martin-Martin, Juan Rodríguez-Hortalá
Transparent function types: clearing up opacity. PPDP (2012)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá
The Full Abstraction Problem for Higher Order Functional-Logic Programs CoRR (2010)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Liberal Typing for Functional Logic Programs. APLAS (2010)
Adrián Riesco, Juan Rodríguez-Hortalá
A Natural Implementation of Plural Semantics in Maude. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Adrián Riesco, Juan Rodríguez-Hortalá
Programming with singular and plural non-deterministic functions. PEPM (2010)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Lightweight Combination of Semantics for Non-deterministic Functions CoRR (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A flexible framework for programming with non-deterministicfunctions. PEPM (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Fully Abstract Semantics for Constructor Systems. RTA (2009)
Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá
A Formalization of the Semantics of Functional-Logic Programming in Isabelle CoRR (2009)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
New Results on Type Systems for Functional Logic Programming. WFLP (2009)
Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Functions and Lazy Evaluation in Prolog. Electron. Notes Theor. Comput. Sci. 206 (2008)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and Call-Time Choice: The HO Case. FLOPS (2008)
Juan Rodríguez-Hortalá
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. FSTTCS (2008)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Equivalence of Two Formal Semantics for Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 188 (2007)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. INAP/WLP (2007)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A simple rewrite notion for call-time choice semantics. PPDP (2007)