TREND Project


Project Title:
Advanced Program Development Techniques in a Declarative Environment
CICYT TIC 98-0445-C03
Work Area:
Semantics, Programming Languages
Prof. M. Alpuente
Universidad Politécnica de Valencia (UPV)
Dep. de Sistemas Informáticos y Computación, Facultad de Informática
Camino de Vera s/n, E - 46022 Valencia, Spain

Prof. M. Rodríguez-Artalejo
Universidad Complutense de Madrid (UCM)
Dep. de Sistemas Informáticos y Programación, Facultad de Matemáticas
Av. Complutense s/n, E - 28040 Madrid

Prof. E. Pimentel
Universidad de Málaga
Dep. de Lenguajes y Ciencias de la Computación, Facultad de Informática
Pza. El Ejido, E - 29013 Málaga, Spain
Universidad Politécnica de Valencia
Universidad Complutense de Madrid
Universidad de Málaga
Declarative programming. Advanced programming environments. Interactive and visual programming. Internet and mobile programming. Constraint solving. Concurrency. Program analysis and transformation.
Start Date:
September 98
36 months
TREND is aimed at constructing (and testing) semantics-based, formal techniques for the development of multiparadigm declarative programs. The project is a coordinated proposal of three university teams, and a number of software manufacturing companies interested in the generation of industrializable prototypes participate as EPO's (Observant/Promovant Entities). The core of the project is a general-purpose, functional-logic language which combines the best ideas of existing declarative languages such as Haskell and SML (functional languages) and Goedel and lambda-Prolog (logic languages) in a simple and practical way. This project is the first systematic attempt to exploit the pre-eminent semantic properties of functional and logic languages for the direct benefit of users. This is done by providing a set of formally-based, practical tools based on the proposed techniques which constitute an integrated environment for the development of functional logic programs. These tools include a semantic monitor, a (semi-)automatic program transformer, a declarative debugger, a model checker, and advanced interactive, and visual programming facilities. We also extend the core language with further capabilities such as higher order, constraints, inductive learning, multiset processing, and uniform proofs, and we implement these extensions. The experimental part of the project is completed by evaluating the feasibility and effectiveness of the tools on a number of industrial applications, which we develop in collaboration with the EPOs.