3 citations · 5 across the 3 of their papers we have counts for
3 papers
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
Adrián Riesco, Juan Rodríguez-Hortalá
Narrowing is a procedure that was first studied in the context of equational E-unification and that has been used in a wide range of applications. The classic completeness result d…
The Full Abstraction Problem for Higher Order Functional-Logic Programs
F. J. López-Fraguas, J. Rodríguez-Hortalá
Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming language, and act as a guide for software development too…
A Lightweight Combination of Semantics for Non-deterministic Functions
Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez
The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call-time choice, a notion that at the opera…