- Project Title:
- Advanced Program Development Techniques in a Declarative Environment
- CICYT TIC 98-0445-C03
- Work Area:
- Semantics, Programming Languages
Universidad Politécnica de
Dep. de Sistemas
Informáticos y Computación, Facultad de
Camino de Vera s/n, E - 46022 Valencia, Spain
Universidad Complutense de Madrid (UCM)
Dep. de Sistemas
Programación, Facultad de Matemáticas
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
- 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
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
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
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.