MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
03715nam a2200241 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20250311170247.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s2005 ag om 000 0 eng d |
| 024 8# - Otro identificador estandar |
|---|
| Número estándar o código |
DIF-M2655 |
| -- |
2747 |
| -- |
DIF002561 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Martínez López, Pablo Ernesto |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Type specialisation of polymorphic languages [recurso electrónico] |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Fecha de publicación, distribución, etc. |
2005 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
^p Datos electrónicos (1 archivo : 1678 KB) |
| 502 ## - NOTA DE TESIS |
|---|
| Nota de tesis |
Tesis (Doctorado en Ciencias de la Computación) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación, 2005. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Introduction -- Partial Evaluation -- Type Specialization -- Examples -- Theory of Qualified Types -- Principal Type Specialization -- The Algorithm and The Proof -- Constraint Solving and Postprocessing -- Extending the Source Language -- The Prototype -- Inherited Limit: Polymorphism -- About Jones' Optimality -- Related Work -- Future Work -- Conclusions -- Proofs -- References. -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 17/03/2009) |
| 520 ## - SUMARIO, ETC. |
|---|
| Sumario, etc. |
La especialización de programas es una manera particular de producir programas automáticamente. En ella se utiliza un programa fuente general dado para generar diversas versiones particulares, especializadas, del mismo, cada una resolviendo una instancia particular del problema original. La técnica más conocida y más ampliamente estudiada de especialización de programas es llamada evaluación parcial; se la ha utilizado con éxito en varias áreas de aplicación diferentes. Sin embargo, la evaluación parcial tiene problemas cuando se considera la producción automática de programas con tipos. La especialización de tipos es una forma de especialización de programas que puede producir automáticamente programas con tipos a partir de uno fuente. Comprende diversas técnicas muy poderosas, tales como especialización polivariante, especialización de constructores, conversión de clausuras; es la primera de las variantes de especialización de programas que puede generar tipos arbitrarios a partir de un único programa fuente. Creemos que la especialización de tipos puede ser la base sobre la que desarrollar un marco de producción automática de programas. En esta tesis consideramos la especialización de programas, extendiéndola para producir programas polimórficos. Ilustramos eso considerando un intérprete para un lambda cálculo con tipos a la Hindley-Milner, y especializándolo con cualquier programa objeto para producir un programa residual que sea esencialmente igual que el original. En la búsqueda de la generación de polimorfismo, extendemos la especialización de tipos para que pueda expresar la especialización de programas con información estática incompleta, y probamos que para cada término podemos inferir una especialización particular que puede ser usada para reconstruir cada uno de las otras especializaciones de tal término. Llamamos especialización de tipos principal a tal técnica, debido a la analogía de esta propiedad con la noción de tipos principales. Nuestra presentación clarifica muchos de los problemas existentes en la especialización de tipos, lo cual puede ser usado como una guía en la búsqueda de soluciones para ellos. -- Palabras clave: especialización principal de tipos, especialización de tipos, especialización de programas, producción automática de programas, programas polimórficos. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN AUTOMÁTICA |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMACIÓN FUNCIONAL |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LENGUAJES DE PROGRAMACIÓN |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Hughes, John , |
| -- |
Director/a |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Tesis de posgrado |