3 citations · 5 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2015
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…
cs.PL2009★ 3 cited
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…