https://www.dagstuhl.de/9741

06. – 10. Oktober 1997, Dagstuhl-Seminar 9741

Concurrent Constraint Programming

Organisator

Ph. Codognet (INRIA), U. Montanari (Pisa), A. Podelski (MPI-Saarbrücken), V. Saraswat (AT&T Murray Hill)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Seminar Report 191

Motivation

CCP was founded in 1987 as a natural combination of concurrent logic programming and constraint logic programming.

Since that time, various successes have been recorded. CCP is the definitive ac count of ,accumulative" concurrency. Together with actors, CCP is one of the major formulations of fine-grained, asynchronous concurrency integrating such phenome na as dynamic, networks and ,scope extrusion" in a natural way. The semantic the ory for determinate CCP is simple and elegant and led to the development of new practically useful combinators for search. Work on indeterminate CCP also led to simple and elegant models, and spurred further work in models for asynchronous languages. Timed CCP calculii with a rich semantic theory have been developed, successfully integrating ideas from synchronous programming. Work has begun on developing proof theories and static analysis techniques for CCP. Concrete ,failure- free" languages have been designed for distributed computing, and advanced com pilation techniques investigated. On the practical side, the powerful and well-devel oped Oz system, combining several language ideas and representing many work- years of development effort, is now available. Toontalk is a powerful visual programming system based on CCP ideas.

Together with these successes are some important questions still to be answered definitively. What are the ,natural" application areas for CCP? What are the kinds of computational systems that are substantially easier to develop or maintain in CCP languages -- the ,path to the sea" for CCP? Development of these ,natural" domains of applicability will be crucial in sustaining work for the next ten years. Should CCP ideas be implemented in the context of separate programming languages, or in the context of modern-day programming languages such as Java? Is the Internet gener ally, and network communities specifically, a context for ,computing for the masses" in which declarative programming ideas will find striking applicability? Can CCP ideas server as the foundation for a software development methodology for real-time and hybrid systems that yields provably correct software? On the language side, what is a coherent notion of types for CCP languages that takes into account the par tial nature of information in CCP? At a conceptual level is there a coherent program ming framework which captures the ideas of CCP, higher-order programming and object-oriented programming?

We invite your participation in a seminar at Dagstuhl to review the state of the field today, and to discuss research plans for the next ten years.

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.