Programación Declarativa y Transformación Automática de programas

PROGRAMACION DECLARATIVA Y TRANSFORMACIÓN AUTOMÁTICA DE PROGRAMAS: DEC-TAU

Alarcos

El grupo DEC-tau investiga métodos formales aplicados a la integración de lenguajes declarativos multiparadigma (esto es, lenguajes con características lógicas, funcionales, y lógico difusas) y a la transformación automática de programas declarativos.