Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Datos del PFC [Volver]

Titulación
Y
Título
Reconstructor de tipos para Sistemas de Tipos Puros
Autor
Ignacio Soriano Dorado
Directores
Gutierrez Lopez, Francisco
Requisitos
Conocimientos de Java, y tener soltura con los conceptos relativos a Programación Declarativa (específicamente, con la parte funcional). Los interesados, además de solicitar el proyecto desde este medio, deben recoger una instancia en el despacho 3.2.46 y entregarla cumplimentada antes del dia 6 de Febrero.
Descripción
Se trata de implementar un semialgoritmo de reconstrucción de tipos para Sistemas de Tipos Puros que verifican la propiedad de ELiminación de Corte. El sistema resultante mantiene una traza de la reconstrucción realizada. El lenguaje en el que se desarrolla la aplicación será Java. La aplicación debe ofrecer una interfaz para poder interactuar con ella de manera que otra aplicación pueda utilizar sus resultados.
Otros
-
Fecha
14/01/04
Fecha lectura
-
Url
-
Documento
-