Bibliographic Citation
Document | For copies of Journal Articles, please contact the Publisher or your local public or university library and refer to the information in the Resource Relation field. For copies of other documents, please see the Availability, Publisher, Research Organization, Resource Relation and/or Author (affiliation information) fields and/or Document Availability. |
---|---|
Title | Concurrent constraint programming |
Creator/Author | Saraswat, V.A. (Xerox Palo Alto Research Center, CA (USA)) |
Publication Date | 1990 Jan 01 |
OSTI Identifier | OSTI ID: 6507156 |
Other Number(s) | ISBN19297-7 |
Resource Type | Book |
Subject | 990200 -- Mathematics & Computers; PARALLEL PROCESSING-- PROGRAMMING LANGUAGES; DATA TRANSMISSION SYSTEMS;REVIEWS |
Related Subject | DOCUMENT TYPES;PROGRAMMING |
Description/Abstract | This book develops an elegant and semantically tractable framework for computing with constraints, emphasizing their use for communication and control in concurrent programming languages.^In this framework, concurrently executing agents communicate by placing and checking constraints on shared variables in a common store.^The major form of concurrency control in the system is through the operations of Atomic Tell - an agent may instaneously place constraints only if they are consistent with constraints that have already been placed - and Blocking Ask - an agent must block when it checks a constraint that is not yet known to hold.^Other operations at a finer granularity of atomicity are also presented.^The book develops the concurrent constraint family of programming languages based on these ideas, shows how various constraint systems can naturally realize data-structures common in computer science, and presents a formal operational semantics for many languages in the concurrent constraint family. |
Publisher | Cambridge, MA (USA) ;The MIT Press |
Country of Publication | United States |
Language | English |
Format | Pages: (500 p) |
Availability | The MIT Press, 28 Carleton St., Cambridge, MA 02142 (USA) |
System Entry Date | 2001 May 13 |
Top |