Detalles de la obra

Título:
Inferencia de tipos de sesión
Autor(es):
Copello Gigirey, Ernesto Sebastián
Pie de imprenta:
Montevideo: Universidad ORT Uruguay, 2011
Descripción física:
155 p. il., tablas, gráfico. Impreso
Nota de tesis:
Proyecto (Master). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2011. Calificación: 98/100
Título obtenido:
Entregado como requisito para la obtención del título de Master en Ingeniería
Tutor:
Álvaro Daniel Tasistro Souto; Nora Adriana Szasz Cerutti
Tribunal:
Daniel Fridlender; Fernando Gabriel Paganini Herrera
Resumen:
El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una variante que consiste en un fragmento suficientemente representativo y se lo extiende con esquemas de tipos. Para este sistema se desarrolla un algoritmo de inferencia de tipos. Tanto la propuesta de un sistema de tipos de sesión con esquemas de tipos como el desarrollo del algoritmo de inferencia para el mismo son contribuciones originales en el área.
Información adicional:
Disponible también en línea
Referencias bibliográficas:
Incluye bibliografía.
Idioma:
Español
Tipo de material:
[Trabajo Final de Carrera]
Ubicación física:
MI 005.131 / COP

Archivos asociados:

Archivo Tamaño Formato
Proyecto 1.72MB application/pdf
Informe del corrector 13kB application/pdf