Subproyecto 3: Universidad de Castilla-La Mancha

Módulo M-3.1: Lenguajes Declarativos Multiparadigma: técnicas avanzadas de implementación.
    El objetivo general del presente módulo se centra en el desarrollo de técnicas de implementación que contribuyan a la mejora y el aumento de la eficiencia de los lenguajes declarativos multiparadigma con semántica no estricta. Pensamos que optimizar estos lenguajes puede ayudar a su utilización como herramientas de rápido prototipado y hacerlos un instrumento viable en la aplicación de técnicas formales para el desarrollo del software. Mejorar las implementaciones de estos lenguajes también puede facilitar su uso en entornos industriales de desarrollo de aplicaciones.

Módulo M-3.2: Lenguajes Declarativos Multiparadigma: transformaciones y extensiones difusas.

    En los últimos años, hemos sido testigos del importante papel que la lógica difusa o borrosa ( fuzzy logic) ha jugado en el desarrollo de sofisticadas aplicaciones software en campos tan diversos como los sistemas expertos, medicina, control industrial, etc. Con el objetivo de facilitar el desarrollo de tales aplicaciones, mucho más recientemente ha surgido el interés por diseñar lenguajes declarativos (en particular, lenguajes lógicos) difusos que incorporen entre sus recursos expresivos el tratamiento de información imprecisa de forma natural. Por otra parte, la así llamada programación declarativa multiparadigma integra, junto con el concurrente, los dos paradigmas más importantes de la programación declarativa: el funcional y el lógico. Con estos antecedentes, en este módulo nos planteamos dos ambiciosos objetivos (a desarrollar en sendas tareas) que pueden resumirse como sigue: la integración total dentro del marco declarativo multiparadigma de los estilos funcional, lógico, borroso y concurrente, y la aplicación de técnicas de transformación, optimización y especialización de los programas escritos con este tipo de lenguajes.