Financing detail

Authors: Mauro Jaskelioff.

Description: 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).

Project code: PICT 2009-0015.

From date: 40969

To date: 42064

Financing amount: 90000

Coinage: Pesos

Financing type: Proyectos de I+D.

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

Scope: Prom.Gral.del Conoc.-Cs.Exactas y Naturales.

Specialty: Estructuras semánticas.

Principal's name: Mauro Jaskelioff.

Year: 2015.