TY  - THES
AU  - Tenorio Fornés, Ámbar
A3  - Caballero Roldán, Rafael
A3  - Stuckey, Peter J.
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/46662
AB  - Muchos problemas se modelan de forma natural extendiendo un tipo existente con valores adicionales. Por ejemplo, los tipos de las bases de datos se extienden con valores nulos para representar la falta de datos. De forma parecida, los enteros pueden...
LA  - eng
KW  - Extensión de tipos
KW  - Programación con restricciones
KW  - Transformación de programas
KW  - Lenguajes declarativos
KW  - MiniZinc
KW  - Satisfacción de restricciones
KW  - Optimización. Type extension
KW  - Constraint programming
KW  - Program transformation
KW  - Declarative languages
KW  - Constraint satisfaction
KW  - Optimization.
TI  - MiniZinc+:finite type extensions for constraint programming language MiniZinc
M3  - master thesis
ER  -