Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/2948
How to cite
Title: | Diseño de un lenguaje tipado con mecanismos de reflexión de código |
Authors: | Viera Larrea, Marcos Omar |
Obtained title: | Magíster en Informática |
University or service that grants the title: | Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA |
Tutor: | Pardo, Alberto Viola, Alfredo |
Type: | Tesis de maestría |
Keywords: | Reflexión, Sistemas de Tipos, Programación Multi-etapas, Análisis Intensional, Meta-lenguaje Omega, Omega |
Issue Date: | 2007 |
Abstract: | En este trabajo se estudia el problema de diseñar un lenguaje de programación que pueda soportar ciertas formas de reflexión de manera de proveer de flexibilidad y a su vez garantice algún nivel de seguridad de tipado. Se presenta la definición de un lenguaje con primitivas de reflexión de código, es decir, con la capacidad de manipular representaciones de código en tiempo de ejecución. Se propone un lenguaje funcional multi-etapas homogéneo, basado en un cálculo lambda simplemente tipado con un operador de punto fijo, anotaciones de etapas, sustitución explícita sobre el código y un mecanismo de pattern matching. Mediante este último se provee la capacidad de realizar análisis de código, utilizando patrones de código para la inspección de la estructura de expresiones citadas y su destrucción en sus partes componentes. El tipo para los valores de código captura el contexto de tipado para sus variables libres, pero no incluye el tipo del código. Por lo tanto, evaluar expresiones de código implica realizar un chequeo dinámico de tipos. Las expresiones citadas incluyen una anotación explícita de su contexto, la cual se utiliza para la inferencia dinámica de tipos durante el tipado de las expresiones de código. Se sigue la propuesta de Sheard de utilizar el meta-lenguaje Omega como una herramienta para el diseño de lenguajes. En este sentido, se codificaron las semánticas estática y dinámica del lenguaje propuesto en términos de construcciones de Omega. Se argumenta la corrección del sistema de tipos del lenguaje con respecto a su semántica operacional en base al sistema de tipos del meta-lenguaje, concluyéndose que la evaluación de toda expresión bien tipada no falla. |
Publisher: | UR. FI-INCO, |
Citation: | VIERA LARREA, M. "Diseño de un lenguaje tipado con mecanismos de reflexión de código". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA, 2007. |
License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
Appears in Collections: | Tesis de posgrado - Instituto de Computación |
Files in This Item:
File | Description | Size | Format | ||
---|---|---|---|---|---|
tesis-mviera.pdf | 669,15 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License