TY  - THES
AU  - Rodríguez Hortalá, Juan
A3  - López Fraguas, Francisco Javier
A3  - Sánchez Hernández, Jaime
PY  - 2010
SN  - 978-84-693-8793-1
UR  - https://hdl.handle.net/20.500.14352/47569
AB  - Este trabajo trata acerca del uso del indeterminismo como un recurso expresivo de los lenguajes de programación. En los lenguajes indeterministas se ofrecen primitivas que pueden ser utilizadas para expresar cómputos cuyo resultado final no está...
LA  - eng
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Programación declarativa
KW  - Lenguajes de programación
KW  - Programación lógica
KW  - Programación funcional
KW  - Programación
TI  - Programming with non-determinism: a rewriting based approach
T2  - Programación con indeterminismo: un enfoque basado en reescritura
M3  - doctoral thesis
ER  -