TY  - CHAP
AU  - Riesco Rodríguez, Adrián
AU  - Rodríguez-Hortalá, Juan
PY  - 2010
DO  - 10.1145/1706356.1706373
SN  - 978-1-60558-727-1
UR  - https://hdl.handle.net/20.500.14352/45388
AB  - Non-strict non-deterministic functions are one of the most distinctive features of functional-logic languages. Traditionally, two semantic alternatives have been considered for this kind of functions: call-time choice and run-time choice. While the...
LA  - eng
M2  - 83
PB  - ACM
KW  - Non-deterministic functions
KW  - Semantics
KW  - Program transformation
KW  - Term rewriting
KW  - Maude
TI  - Programming with Singular and Plural Non-deterministic Functions
TY  - book part
ER  -