Juan Rodríguez-Hortalá

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification of the ROS NavFn planner using executable specification languages Journal of Logical and Algebraic Methods in Programming	2023-03-20	Paper
Property-based testing for Spark Streaming Theory and Practice of Logic Programming	2021-09-03	Paper
A liberal type system for functional logic programs Mathematical Structures in Computer Science	2016-07-27	Paper
Polymorphic types in Erlang function specifications Functional and Logic Programming	2016-04-04	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics Theory and Practice of Logic Programming	2014-04-17	Paper
Singular and plural functions for functional logic programming Theory and Practice of Logic Programming	2014-04-16	Paper
Safe typing of functional logic programs with opaque patterns and local bindings Information and Computation	2014-03-13	Paper
Functions and lazy evaluation in Prolog	2014-01-10	Paper
Equivalence of two formal semantics for functional logic programs Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
A hierarchy of semantics for non-deterministic term rewriting systems	2012-10-19	Paper
S-narrowing for constructor systems Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
New results on type systems for functional logic programming Functional and Constraint Logic Programming	2010-04-27	Paper
A Fully Abstract Semantics for Constructor Systems Rewriting Techniques and Applications	2009-06-30	Paper
Rewriting and Call-Time Choice: The HO Case Functional and Logic Programming	2008-04-11	Paper

Research outcomes over time

This page was built for person: Juan Rodríguez-Hortalá