Inferencia de tipos de sesión
Supervisor(es): Tasistro Souto, Álvaro Daniel - Szasz Cerutti, Nora Adriana
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.
| 2011 | |
| ANII - BE_MAEN_2009_0_1476. | |
|
ALGORITMOS PROYECTOS-MI TIPOS DE SESIÓN PROGRAMACIÓN |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/2965 | |
| Acceso abierto |
