Declarative Programming and Automatic Program Transformation

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

ARCO

The DEC-tau group investigates formal methods applied to the integration of multiparadigm declarative languages (i.e., languages with logical, functional, and fuzzy logical characteristics) and to the automatic transformation of declarative programs.