Inferencia de tipos de sesión

Loading...
Thumbnail Image
Date
2011
Authors
Copello Gigirey, Ernesto Sebastián
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
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.
En
Thesis note
Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Master en Ingeniería
155 p. il., tablas, gráfico
Notes
Incluye bibliografía.
Subject
ALGORITMOS, PROYECTOS-MI, TIPOS DE SESIÓN, PROGRAMACIÓN
Type
Trabajo final de carrera
Access the full text
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
Rights license