Introducción al Trabajo de Título
Entrar

Desarrollo de un intérprete para un lenguaje gradual probabilístico Memoria Doble Titulación Lenguajes de programación

Descripción


Los lenguajes de programación gradulaes ofrecen un buen trade-off entre las ventajas y desventajas ofrecidas por aquellos que tienen un chequeo de tipos puramente estático o puramente dinámico. En un trabajo reciente, los profes guías diseñaron el primer lenguaje de programación gradual probabilístico (permitiendo el modelado de cómputos aleatorios) y probaron formalmente varias propiedades deseables del mismo. Sin embargo, en la actualidad el lenguaje carece de intérpretes o compiladores que permitan verlo “en acción”. El objetivo de esta tesis es desarrollar un intérprete para el lenguaje.