A simple rewrite notion for call-time choice semantics FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 59 | 2007 |
Rewriting and call-time choice: the HO case FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008 | 40 | 2008 |
FlinkCheck: property-based testing for apache flink CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá IEEE Access 7, 150369-150382, 2019 | 18 | 2019 |
New results on type systems for functional logic programming FJ López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá Functional and Constraint Logic Programming: 18th International Workshop …, 2010 | 13 | 2010 |
A fully abstract semantics for constructor systems FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández International Conference on Rewriting Techniques and Applications, 320-334, 2009 | 13 | 2009 |
A hierarchy of semantics for non-deterministic term rewriting systems J Rodriguez-Hortala IARCS Annual Conference on Foundations of Software Technology and …, 2008 | 13 | 2008 |
A flexible framework for programming with non-deterministicfunctions FJ López-Fraguas, J Rodriguez-Hortala, J Sánchez-Hernández Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 11 | 2009 |
Equivalence of two formal semantics for functional logic programs FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Electronic Notes in Theoretical Computer Science 188, 117-142, 2007 | 11 | 2007 |
Property-based testing for Spark Streaming A Riesco, J Rodríguez-Hortalá Theory and Practice of Logic Programming 19 (4), 574-602, 2019 | 10 | 2019 |
Programming with singular and plural non-deterministic functions A Riesco, J Rodríguez-Hortalá Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 10 | 2010 |
Liberal typing for functional logic programs F López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010 | 9 | 2010 |
Temporal random testing for spark streaming A Riesco, J Rodríguez-Hortalá International Conference on Integrated Formal Methods, 393-408, 2016 | 8 | 2016 |
A natural implementation of plural semantics in Maude A Riesco, J Rodríguez-Hortalá Electronic Notes in Theoretical Computer Science 253 (7), 165-175, 2010 | 8 | 2010 |
Bundles pack tighter than lists F López-Fraguas, J Rodrıguez-Hortalá, J Sánchez-Hernández Draft Proc. of Trends in Functional Programming 2007, 2007 | 8 | 2007 |
Functions and lazy evaluation in prolog J Rodríguez-Hortalá, J Sánchez-Hernández Electronic Notes in Theoretical Computer Science 206, 153-174, 2008 | 7 | 2008 |
Rewriting and narrowing for constructor systems with call-time choice semantics1 FJ Lopez-Fraguas, E Martin-Martin, J Rodríguez-Hortalá, ... Theory and Practice of Logic programming 14 (2), 165-213, 2014 | 6 | 2014 |
Singular and plural functions for functional logic programming A Riesco, J Rodríguez-Hortalá Theory and Practice of Logic Programming 14 (1), 65-116, 2014 | 6 | 2014 |
Narrowing for first order functional logic programs with call-time choice semantics FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández International Conference on Applications of Declarative Programming and …, 2007 | 6 | 2007 |
Verification of ROS navigation using Maude E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio XX Jornadas de Programación y Lenguajes (PROLE). Sistedes, 2021 | 5 | 2021 |
Polymorphic types in erlang function specifications FJ López-Fraguas, M Montenegro, J Rodríguez-Hortalá Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 4 | 2016 |