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.