Articles liés à Concurrent Constraint Programming
Synopsis
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer a promising approach for treating thorny issues in the semantics of concurrent, nondeterministic programming languages.
Saraswat develops an elegant and semantically tractable framework for computing with constraints, emphasizing their importance for communication and control in concurrent, programming languages. He describes the basic paradigm, illustrates its structure, discusses various augmentations, gives a simple implementation of a concrete language, and specifies its connections with other formalisms. 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 instantaneously 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.
Saraswat introduces and 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. In addition, he provides a concrete realization of the paradigm on a sequential machine by presenting a compiler for the concurrent constraint language Herbrand and demonstrates a number of constraint-based concurrent programming techniques that lead to novel presentations of algorithms for many concurrent programming problems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Vijay A. Saraswat is Member of the Research Staff at Xerox Palo Alto Research Center.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Concurrent Constraint Programming
Image d'archives
Concurrent Constraint Programming
Edité par
MIT Press, 1993
ISBN 10 : 0262192977
ISBN 13 : 9780262192972
Ancien ou d'occasion
Couverture rigide
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. Concurrent Constraint Programming This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . N° de réf. du vendeur 7719-9780262192972
Quantité disponible : 1 disponible(s)
Image d'archives
Concurrent Constraint Programming
Edité par
MIT Press -, 1993
ISBN 10 : 0262192977
ISBN 13 : 9780262192972
Ancien ou d'occasion
Couverture rigide
Vendeur : Bahamut Media, Reading, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. N° de réf. du vendeur 6545-9780262192972
Quantité disponible : 1 disponible(s)
Image d'archives
Concurrent Constraint Programming
Edité par
MIT Press, 1993
ISBN 10 : 0262192977
ISBN 13 : 9780262192972
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur F-924-497
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Concurrent Constraint Programming
Edité par
MIT Press Ltd, 1993
ISBN 10 : 0262192977
ISBN 13 : 9780262192972
Ancien ou d'occasion
Couverture rigide
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
gebundene Ausgabe. Etat : Gut. 486 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1090. N° de réf. du vendeur 2161376
Quantité disponible : 1 disponible(s)
Image d'archives
Concurrent Constraint Programming
Edité par
MIT Press, 1993
ISBN 10 : 0262192977
ISBN 13 : 9780262192972
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-570-088
Quantité disponible : 1 disponible(s)