TY  - CONF
AU  - Rodríguez Hortalá, Juan
PY  - 2008
UR  - https://hdl.handle.net/20.500.14352/53980
AB  - Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-strict non-deterministic functions. The...
KW  - Programación declarativa
KW  - Semántica de Lenguajes de programación
KW  - Lenguajes de programación lógico funcionales
KW  - sistemas de reescritura
KW  - Declarative programming
KW  - Semantics of the programming languages
KW  - Constructor-based Rewriting Logic
KW  - CRWL
KW  - Logica functional Programming Languages
KW  - Rewriting systems
TI  - Rewriting and call-time choice
TY  - conference output
ER  -