PROGRAMACION DECLARATIVA Y TRANSFORMACIÓN AUTOMÁTICA DE PROGRAMAS

RESPONSABLE

MIEMBROS

• Integración de lenguajes declarativos: programación Lógico-Funcional (LF) para la integración de los paradigmas lógico y funcional puros, y obtener lenguajes más expresivos y eficientes. Aspectos formales y de implementación de estrategias de estrechamiento así como en la combinación del estrechamiento con otros mecanismos operacionales.
• Lenguajes declarativos multiparadigma, transformaciones y extensiones basadas en lógica difusa: Integración de la noción de fuzzyness en el marco de los lenguajes declarativos multiparadigma. Trasformación, optimización y especialización de programas declarativos multiparadigma difusos.
• Transformación y especialización de programas: Derivación de un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento c.r. a algunas propiedades (i.e. eficiencia). La evaluación parcial (EP) es una técnica de transformación de programas que genera versiones especializadas de un programa c.r. a una entrada restringida. Desarrollo de un transformador de programas LF basado en reglas+estrategias y algoritmos refinados de control de EP.

• Desarrollo de sistemas de transformación automática y especialización de programas (declarativos) para la mejora de la eficiencia de los mismos, tanto en tiempo de ejecución como en la optimización de recursos. El objetivo de la transformación de programas consiste en derivar un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento con respecto a algunas propiedades (e.g., eficiencia). La evaluación parcial es una técnica de transformación de programas que genera versiones especializadas de un programa con respecto a una entrada específica. Nuestro grupo tiene una dilatada experiencia en este campo, habiendo desarrollado un transformador de programas lógico funcionales basado en reglas+estrategias y algoritmos refinados de control de la evaluación parcial. Recientemente, se han transferido muchas de estas técnicas de transformación al ámbito de la programación lógica difusa. En particular, hemos realizado una amplia labor teórica mediante el estudio de diversas reglas de transformación de plegado/desplegado para programas lógicos multiadjuntos (una clase muy amplia de programas lógicos difusos).
• Implementación e integración de lenguajes declarativos (lógicos y funcionales) con otros paradigmas, como la lógica difusa. Centramos nuestro interés en el diseño de lenguajes lógicos difusos que incorporen recursos expresivos para el tratamiento de información imprecisa. Hemos desarrollado un lenguaje basado en unificación por similaridad, que denominamos Bousi~Prolog (Prolog BOrroso con Unificación por SImilaridad). Además, hemos implementado un sistema para la ejecución de programas multiadjuntos que denominamos FLOPER (acrónimo de Fuzzy LOgic Programming Environment for Research). Entre las aplicaciones prácticas de estos lenguajes, Bousi~Prolog se ha utilizado para la catalogación de textos y FLOPER para manipular texto XML, implementando una extensión difusa de los lenguajes XPath y XQuery. En la actualidad, estamos combinando ambos enfoques en el diseño e implementación del lenguaje de programación de lógica difusa, totalmente integrado, FASILL.

NACIONAL