Concurrent Constraint Programming

DMCA

Concurrent Constraint Programming (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Vijay A. Saraswat , Martin Rinard

Citations:

502 - 16 self

BibTeX

@INPROCEEDINGS{Saraswat93concurrentconstraint,
    author = {Vijay A. Saraswat and Martin Rinard},
    title = {Concurrent Constraint Programming},
    booktitle = {},
    year = {1993},
    pages = {232--245},
    publisher = {MIT Press}
}

OpenURL

Abstract

This paper presents a new and very rich class of (con-current) programming languages, based on the notion of comput.ing with parhal information, and the con-commitant notions of consistency and entailment. ’ In this framework, computation emerges from the inter-action of concurrently executing agents that communi-cate by placing, checking and instantiating constraints on shared variables. Such a view of computation is in-teresting in the context of programming languages be-cause of the ability to represent and manipulate partial information about the domain of discourse, in the con-text of concurrency because of the use of constraints for communication and control, and in the context of AI because of the availability of simple yet powerful mechanisms for controlling inference, and the promise that very rich representational/programming languages, sharing the same set of abstract properties, may be pos-sible. To reflect this view of computation, [Sar89] develops the cc family of languages. We present here one mem-ber of the family, CC(.L,+) (pronounced “cc with Ask and Choose”) which provides the basic operations of blocking Ask and atomic Tell and an algebra of be-haviors closed under prefixing, indeterministic choice, interleaving, and hiding, and provides a mutual recur-sion operator. cc(.L,-t) is (intentionally!) very similar to Milner’s CCS, but for the radically different under-lying concept of communication, which, in fact, pro-’ The class is founded on the notion of “constraint logic pro-gramming ” [JL87,Mah87], fundamentally generalizes concurrent logic programming, and is the subject of the first author’s disser-tation [Sar89], on which this paper is substantially based.

Keyphrases

concurrent constraint programming language be-cause cc family partial information different under-lying concept parhal information atomic tell abstract property basic operation indeterministic choice con-commitant notion rich representational programming language first author disser-tation sar89 milner cc powerful mechanism constraint logic pro-gramming jl87 generalizes concurrent logic programming mutual recur-sion operator rich class programming language computation emerges

DMCA