Juan Rodríguez-Hortalá

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