TY  - THES
AU  - Pérez Morente, Fernando
A3  - López Fraguas, Francisco Javier
A3  - Vado Vírseda, Rafael del
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/46309
AB  - La programación declarativa es un paradigma de programación con sólidos fundamentos matemáticos que permite diseñar programas con un alto nivel de abstracción; la programación lógico funcional aúna los formalismos lógico y funcional y ha sido un...
LA  - spa
KW  - Programación declarativa
KW  - Programación lógico funcional
KW  - Sistemas de reescritura de términos
KW  - Sistema de reescritura de patrones
KW  - Lambda cálculo
KW  - Semántica de los lenguajes de programación
KW  - Semánticas modulares. Declarative programming
KW  - Functional Logic progrmming
KW  - Term rewriting systems
KW  - Pattern rewriting systems
KW  - Lambda calculus
KW  - Semantics of programming languages
KW  - Modular semantics
TI  - A semantic framework for higher-order functional logic programming with Lambda-Abstractions
M3  - master thesis
ER  -