Energy Citations Database

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 Date1990 Jan 01
OSTI IdentifierOSTI ID: 6507156
Other Number(s)ISBN19297-7
Resource TypeBook
Subject990200 -- Mathematics & Computers; PARALLEL PROCESSING-- PROGRAMMING LANGUAGES; DATA TRANSMISSION SYSTEMS;REVIEWS
Related SubjectDOCUMENT 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.
PublisherCambridge, MA (USA) ;The MIT Press
Country of PublicationUnited States
LanguageEnglish
FormatPages: (500 p)
AvailabilityThe MIT Press, 28 Carleton St., Cambridge, MA 02142 (USA)
System Entry Date2001 May 13

Top