000 | 03824nam a2200505 i 4500 | ||
---|---|---|---|
001 | 6267500 | ||
003 | IEEE | ||
005 | 20190220121648.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151223s1993 maua ob 001 eng d | ||
010 | _z 92046404 (print) | ||
020 | _a0262192977 | ||
020 |
_a9780262290975 _qelectronic |
||
020 |
_z9780262192972 _qprint |
||
035 | _a(CaBNVSL)mat06267500 | ||
035 | _a(IDAMS)0b000064818b450e | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.642 _b.S27 1993eb |
|
082 | 0 | 0 |
_a005.13/1 _220 |
100 | 1 |
_aSaraswat, Vijay, _eauthor. |
|
245 | 1 | 0 |
_aConcurrent constraint programming / _cVijay A. Saraswat. |
264 | 1 |
_aLondon, England ; _bMIT Press, _cc1993. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1993] |
|
300 |
_a1 PDF (xl, 486 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aLogic programming | |
490 | 1 | _aACM doctoral dissertation awards | |
504 | _aIncludes bibliographical references. | ||
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aConcurrent 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.Vijay A. Saraswat is Member of the Research Staff at Xerox Palo Alto Research Center. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/23/2015. | ||
650 | 0 | _aParallel programming (Computer science) | |
650 | 0 | _aConstraint programming (Computer science) | |
655 | 0 | _aElectronic books. | |
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. |
|
710 | 2 |
_aMIT Press, _epublisher. |
|
776 | 0 | 8 |
_iPrint version _z9780262192972 |
830 | 0 | _aACM doctoral dissertation award | |
856 | 4 | 2 |
_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500 |
999 |
_c39412 _d39412 |