An ESPRIT Basic Research project coordinated by SICS

ACCLAIM (EP 7195)

Advanced Concurrent Constraint Languages:
Application, Implementation, and Methodology

The following brief information is based on the project synopsis. Detailed descriptions of the project and its results are found here:

Technical Annex (95pp. postscript)

Final Report (177pp. postscript)

Report on Exploitation of Project Results (4pp. postscript)

Deliverables

Work area: Logics & Logic Programming

COORDINATOR

Swedish Institute of Computer Science (Sweden)
- The Intelligent Systems Laboratory (Seif Haridi, Sverker Janson).
- The Complex Operations Laboratory (Thomas Sjöland).

PARTNERS

Deutsches Forschungszentrum für Künstliche Intelligenz (Germany)
Max-Planck-Institut für Informatik (Germany)
Institut National de Recherche en Informatique et en Automatique (France)
Katholieke Universiteit Leuven (Belgium)
CLIP Group, Universidad Politécnica de Madrid (Spain)
Università di Pisa (Italy)
Université d'Aix-Marseille II (France)
Research Institute for Symbolic Computation (Austria)

CONTACT POINT

Keywords: concurrent constraint programming, symbolic computation, constraints, concurrency, parallelism

Start Date: 1 September 92

Duration: 36 months

Status: finalised summer 95

Abstract

This project aims to further the conceptual, mathematical and practical foundations for concurrent constraint programming, and in so doing, provide a framework for, design and implement advanced computational tools for the development of complex, symbolic computational tasks in areas such as knowledge-representation and reasoning, design, diagnosis, simulation, scheduling and natural language understanding.

AIMS

To extend the foundations of concurrent constraint programming to account for a richer class of computational phenomena.
To develop efficient constraint techniques to tackle new application areas and to produce extensible general-purpose constraint systems.
To develop frameworks and techniques for compile-time analysis and optimization of concurrent constraint programs.
To improve the implementation technology of concurrent constraint languages to be competitive with imperative languages, and to achieve a high degree of parallel execution on multi-processor architectures.

APPROACH AND METHODS

The focus of ACCLAIM is in synergistically integrating these diverse, horizontal strands of activity vertically in the design and development of concrete concurrent constraint programming systems, extending and unifying current base-line work. This project brings together an interdisciplinary team of the leading European researchers in this area. In addition, fruitful cooperation with leading U.S. researchers is expected.

POTENTIAL

We expect to generate the technological base that will allow the development and deployment of path-breaking, semantically-based, performance-efficient parallel systems for symbolic computation.

MORE INFO

The ACCLAIM Technology Transfer Workshop, July 13-14, 1995, Electrum, Kista, Sweden
List of deliverables
Alternative page on ACCLAIM
ESPRIT Basic Research Home Page
The IT R&D Programme, Basic Research

Thomas Sjöland (thomas.sjoland@sics.se)