CPD Project

Description

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.