|
Título: Principal Type Specialization of Dynamic Sum-Types Marco de Trabajo: PROYECTO GRADO Área de desarrollo: Métodos Formales Autor: Alejandro César Russo Contacto: russo@fceia.unr.edu.ar Día: JUEVES Hora: 17:30:00 Palabras Claves: program transformation, partial evaluation, type inference, qualified types Resumen: En 1996, John Hughes introdujo una forma diferente para poder especializar programas llamada "type specialization", esta formulación permitió obtener una solución optima (Jones-Optimal) para la especialización de interpretes tipados, lo cual no había sido alcanzado por otras técnicas. Sin embargo, "type specialization" posee algunas propiedades no del todo deseadas, como ser la falta de "principalidad". Pablo E. Martínez López resolvió este problema para un subconjunto del lenguaje presentado por Hughes, probando que su enfoque para especializar programas posee una noción de principalidad asociada. Este trabajo consiste en introducir a los sistemas formales descriptos por Martínez López algunas reglas para poder lidear con "dynamic sum-types" (data types dinámicos sin recursión), probando formalmente que la noción de principalidad se conserva. Además, estas ideas fueron implementadas en un prototipo escrito en Haskell. El trabajo esta disponible en: http://www.fceia.unr.edu.ar/~russo/ |
| Ultima modificacion 5 de Octubre 2004 16:30 |