With coordination languages, programming is split in two separate activities: a sequential language is used to build single-threaded computations, whereas a coordination language is used to coordinate the activity of several single-threaded computations.
A coordination language should orthogonally combine two languages: one for coordination (the interprocess actions), and one for (sequential) computation [Carriero and Gelernter 1992; Ciancarini 1996].
Our survey of approaches to high-level programming and prototyping of concurrent applications starts with domain-specific libraries (Section 3.1); continues with set-oriented data parallelism (Section 3.2); coordination languages (Section 3.3); concurrent functional languages (Section 3.4); concurrent object-based languages (Section 3.5); and graphical programming systems (Section 3.6).
1995] [check] Coordination Languages Durra [Barbacci and Lichota 1991] -- ISETL-Linda [Douglas et al.
A coordination language embodies a coordination model; it provides operations to create computational activities and to support communication among them.
Kahn and Miller write that "Linda is best not thought of as a langyage--but rather as an extension that can be added to nearly any language to enable process creation, communication, and synchronization ." We would rather say that Linda is a coordination language. It is one of two components that together make up a complete programming language.
They might also be separated into two distinct languages, in which case programmers choose one of each: one computation language plus one coordination language equals a complete programming system.
The concept of a coordination language follows from these claims.
Papers from the conference are collected here, in sections on abstract interpretation, model checking, verification of embedded systems, security, testing, aspect-oriented development, requirement and program analysis, coordination languages
, and communication, mobile, and interactive systems.
Le Metayer, editors, Coordination Languages
and Models--Proceedings of the 2nd International Conference (COORDINATION '97), volume 1282 of LNCS, pages 274-288, Berlin (D), 1-3 Sept.
Such devices are likely to take many forms, including the form of coordination languages
An area in which there is current interest in language design is coordination languages
[Carriero and Gelernter 1992; Ciancarini and Hankin 1996].