CPD Project


Description

See also the CPD Web Page maintained by J.C. González (in spanish).

Project Title:
Integration of Declarative Programming Paradigms
Acronym:
CPD
Number:
CICYT TIC 95-0433-C03
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. 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

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 de Málaga
Universidad Politécnica de Valencia
Keywords:
Logic programming. Functional programming. Object oriented programming. Concurrency. Constraint solving. Program analysis and transformation. Exploitation of parallelism.
Start Date:
July 95
Duration:
36 months
Status:
finished
Abstract:
CPD is aimed to make progress in the design and implementation of languages and tools for multiparadigm declarative programming, thus giving a potential support to formal methodologies in software engineering, such as conceptual modelling and rapid prototyping of Information Systems. We consider three main topics:
- new application domains and implementation techniques for constraint declarative programming;
- integration of concurrent object oriented programming within declarative frameworks; and
- formal approaches to enhance expressivity and to derive analysis and transformation methods for declarative programs.

ELP GPLIS DSIC UPV