Inferencia de tipos de sesión
Loading...
Date
2011
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad ORT Uruguay
Abstract
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.
Description
Incluye bibliografía.
Keywords
ALGORITMOS, PROYECTOS-MI, TIPOS DE SESIÓN, PROGRAMACIÓN
Citation
Copello Gigirey, E. S. (2011). Inferencia de tipos de sesión (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2965