Detalle del financiamiento

Autores: Mauro Jaskelioff.

Descripción: Las mónadas, arrows y functores aplicativos son herramientas efectivas para estructurar tanto de semánticas denotacionales como de implementaciones de lenguajes de programación. Los lenguajes modernos contienen características avanzadas tales como excepciones, continuaciones y concurrencia que hacen que sus modelos sean complejos. Para poder trabajar efectivamente con lenguajes complejos es necesario un enfoque modular, en el que estructuras más complejas son obtenidad mediante la combinación de bloques más simples y mas manejables. En este proyecto se estudiará la modularidad de estas estructuras (en particular de las mónadas y arrows), mediante su formulación abstracta como monoides en una categoría monoidal. Luego se estudiará su implementación en forma modular en el lenguaje funcional Haskell, y la optimización de las implementaciones obtenidas mediante diferentes técnicas. Se aplicarán los resultados obtenidos a un intérprete altamente modular para poder experimentar variantes en arquitecturas BDI de agentes, en particular los modelos BDI graduados (g-BDI).

Código del proyecto: PICT 2009-0015.

Desde fecha: 40969

Hasta fecha: 42064

Monto: 90000

Moneda: Pesos

Tipo de financiamiento: Proyectos de I+D.

Campo disciplinar: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.

Campo de aplicación: Prom.Gral.del Conoc.-Cs.Exactas y Naturales.

Especialidad: Estructuras semánticas.

Director: Mauro Jaskelioff.

Año: 2014.