TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 97041

High-Level Concurrent Languages

( Jan 20 – Jan 22, 1997 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/97041

Organizers
  • B. Pierce (Bloomington)
  • G. Smolka (DFKI-Saarbrücken)
  • K. Honda (Manchester)
  • M. Odersky (Karlsruhe)
  • P. Wadler (Glasgow)



Motivation

Computer systems are undergoing a revolution. Twenty years ago, they were centralized, isolated, and expensive. Today, they are parallel, distributed, networked, and inexpensive. However, advances in software construction have failed to keep pace with advances in hardware. To a large extent, this is a consequence of the fact that current programming languages were conceived for sequential and centralized programming.

Challenged by this state of affairs, a number of concurrent programming languages have been designed. These include Erlang, concurrent versions of ML or Haskell, and languages explicitly designed for concurrency such as Obliq, Oz, or Pict. The motivations behind the design of these languages are rather diverse, ranging from constraint programming, the development of graphical user interfaces, and multi-agent systems, to real-time and distributed programming.

Programming models should be simple, practical, high-level, and well-founded. This enables rigorous language specifications and opens the possibility for formal reasoning about programs. In the last decade considerable progress has been made in the development of sequential programming models, notably the functional and logic ones. In contrast, the methodology and formal machinery for designing models for concurrent programming is still underdeveloped. Since the late 1980’s, however, it is rapidly evolving.

There have been three main lines of research, based on Hewitt’s actor model, process calculi in the tradition of Hoare’s CSP and Milner’s CCS, and logic programming. The actor model captures Hewitt’s early vision of concurrency as the most general form of computation and has been developed into various actor languages. Hoare and Milner suggest a model of concurrency based on channel communication. Different versions of concurrent constraint programming draw upon ideas from concurrent and constraint logic programming, and integrate elements from process calculi.

The three traditions have developed rather independently without much communication or cooperation between groups, although there is urgent technical need for such interaction. Furthermore, the combined know how of these groups has reached a point which opens the possibility to make some fundamental progress. The seminar is intended to bring together researchers involved in the design, development, foundations, and applications of high-level concurrent programming languages and models.

Copyright

Participants
  • B. Pierce (Bloomington)
  • G. Smolka (DFKI-Saarbrücken)
  • K. Honda (Manchester)
  • M. Odersky (Karlsruhe)
  • P. Wadler (Glasgow)