Verwandte Artikel zu Concurrent Constraint Programming (Logic Programming)

Concurrent Constraint Programming (Logic Programming) - Softcover

 
9780262527996: Concurrent Constraint Programming (Logic Programming)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Vijay A. Saraswat is Member of the Research Staff at Xerox Palo Alto Research Center.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

EUR 11,46 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780262192972: Concurrent Constraint Programming

Vorgestellte Ausgabe

ISBN 10:  0262192977 ISBN 13:  9780262192972
Verlag: MIT Press, 1993
Hardcover

Suchergebnisse für Concurrent Constraint Programming (Logic Programming)

Beispielbild für diese ISBN

Vijay A. Saraswat
Verlag: MIT Press, 1993
ISBN 10: 0262527995 ISBN 13: 9780262527996
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 527 pages. 9.00x7.10x1.30 inches. In Stock. Bestandsnummer des Verkäufers 0262527995

Verkäufer kontaktieren

Neu kaufen

EUR 63,70
Währung umrechnen
Versand: EUR 11,46
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb