PDR Project
Description
- Project Title:
- Development of a Constraint Declarative Programming Environment
with Parallel Execution Techniques
- Acronym:
- PDR
- Number:
- CICYT TIC 92-0793-C02-02
- Work Area:
- Declarative Programming Languages
- Coordinators:
- Prof. M. Alpuente
Universidad Politécnica de Valencia (UPV)
Dep. de Sistemas
Informáticos y Computación, Facultad de
Informática
E - 46071 Camino de Vera s/n, Valencia, Spain
- Prof. M. Rodríguez-Artalejo
Universidad Complutense de
Madrid (UCM)
Dep. de Informática y Automática, Facultad
de Matemáticas
E - 28040 Av. Complutense s/n, Madrid
- Partners
- Universidad Complutense de Madrid
Universidad Politécnica de Valencia
- Keywords:
- Multiparadigm declarative programming. Constraint Solving.
Constructive Negation. Independent AND-parallelism. Multisequential
OR-parallelism.
- Start Date:
- July 92
- Duration:
- 36 months
- Status:
- finished
- Abstract:
- PDR is aimed at constructing (and evaluating the use of) formal
tools
for (efficient) multiparadigm declarative programming. The following
aspects
are considered:
- combination of functional-logic programming and constraint solving
techniques;
- higher-order programming, types as constraints and subtyping;
- integration of constructive negation;
- automatic exploitation of independent AND-parallelism and
multisequential OR-parallelism.
We also intend to produce prototypes of the techniques we propose by
extending
already existing systems, such as the fuctional logic language BABEL and
the constraint logic programming language CLP(H/E).