Type specialisation of polymorphic languages

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Martínez López, Pablo E.
Otros Autores: Hughes, John
Formato: Tesis Tesis de doctorado
Lenguaje:Inglés
Publicado: 2005
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/4170
https://doi.org/10.35537/10915/4170
Aporte de:
id I19-R120-10915-4170
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
especialización principal de tipos; especialización de tipos; especialización de programas; producción automática de programas; programas polimórficos
Lenguajes de programación
Informática
Aplicación informática
spellingShingle Ciencias Informáticas
especialización principal de tipos; especialización de tipos; especialización de programas; producción automática de programas; programas polimórficos
Lenguajes de programación
Informática
Aplicación informática
Martínez López, Pablo E.
Type specialisation of polymorphic languages
topic_facet Ciencias Informáticas
especialización principal de tipos; especialización de tipos; especialización de programas; producción automática de programas; programas polimórficos
Lenguajes de programación
Informática
Aplicación informática
description 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.
author2 Hughes, John
author_facet Hughes, John
Martínez López, Pablo E.
format Tesis
Tesis de doctorado
author Martínez López, Pablo E.
author_sort Martínez López, Pablo E.
title Type specialisation of polymorphic languages
title_short Type specialisation of polymorphic languages
title_full Type specialisation of polymorphic languages
title_fullStr Type specialisation of polymorphic languages
title_full_unstemmed Type specialisation of polymorphic languages
title_sort type specialisation of polymorphic languages
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/4170
https://doi.org/10.35537/10915/4170
work_keys_str_mv AT martinezlopezpabloe typespecialisationofpolymorphiclanguages
bdutipo_str Repositorios
_version_ 1764820472809127938