Juan Rodríguez-Hortalá - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Juan Rodríguez-Hortalá' as author, editor, or advisor:

S-Narrowing for Constructor SystemsAdrián Riesco, Juan Rodríguez-Hortalá. ictac 2012: 136-150 [doi]
FlinkCheck: Property-Based Testing for Apache FlinkCristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco 0001, Juan Rodríguez-Hortalá. access, 7:150369-150382, 2019. [doi]
New Results on Type Systems for Functional Logic ProgrammingFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. wflp 2010: 128-144 [doi]
Verification of the ROS NavFn planner using executable specification languagesEnrique Martin-Martin, Manuel Montenegro, Adrián Riesco 0001, Juan Rodríguez-Hortalá, Rubén Rubio. jlap, 132:100860, April 2023. [doi]
Polymorphic Types in Erlang Function SpecificationsFrancisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá. FLOPS 2016: 181-197 [doi]
Well-typed narrowing with extra variables in functional-logic programmingFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. PEPM 2012: 83-92 [doi]
Transparent function types: clearing up opacityEnrique Martin-Martin, Juan Rodríguez-Hortalá. ppdp 2012: 127-138 [doi]
Functions and Lazy Evaluation in PrologJuan Rodríguez-Hortalá, Jaime Sánchez-Hernández. ENTCS, 206:153-174, 2008. [doi]
Temporal Random Testing for Spark StreamingAdrián Riesco, Juan Rodríguez-Hortalá. IFM 2016: 393-408 [doi]
Rewriting and Call-Time Choice: The HO CaseFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. FLOPS 2008: 147-162 [doi]
A liberal type system for functional logic programsFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. mscs, 25(4):942-977, 2015. [doi]
A Fully Abstract Semantics for Constructor SystemsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. RTA 2009: 320-334 [doi]
Property-Based Testing for Spark StreamingAdrián Riesco 0001, Juan Rodríguez-Hortalá. tplp, 19(4):574-602, 2019. [doi]
Rewriting and narrowing for constructor systems with call-time choice semanticsFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. tplp, 14(2):165-213, 2014. [doi]
Singular and plural functions for functional logic programmingAdrián Riesco, Juan Rodríguez-Hortalá. tplp, 14(1):65-116, 2014. [doi]
Safe typing of functional logic programs with opaque patterns and local bindingsFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. iandc, 235:36-69, 2014. [doi]
Narrowing for First Order Functional Logic Programs with Call-Time Choice SemanticsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. wlp 2009: 206-222 [doi]
A Hierarchy of Semantics for Non-deterministic Term Rewriting SystemsJuan Rodríguez-Hortalá. fsttcs 2008: 328-339 [doi]
Programming with Singular and Plural Non-deterministic FunctionsAdrián Riesco, Juan Rodríguez-Hortalá. PEPM 2010:
A flexible framework for programming with non-deterministicfunctionsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. PEPM 2009: 91-100 [doi]
A simple rewrite notion for call-time choice semanticsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. ppdp 2007: 197-208 [doi]
A Natural Implementation of Plural Semantics in MaudeAdrián Riesco, Juan Rodríguez-Hortalá. ENTCS, 253(7):165-175, 2010. [doi]
Liberal Typing for Functional Logic ProgramsFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. aplas 2010: 80-96 [doi]
Equivalence of Two Formal Semantics for Functional Logic ProgramsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. ENTCS, 188:117-142, 2007. [doi]

runs on WebDSL