000 03892nam a2200517 i 4500
001 6267500
003 IEEE
005 20220712204723.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.
_923143
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)
_96675
650 0 _aConstraint programming (Computer science)
_923144
655 0 _aElectronic books.
_93294
710 2 _aIEEE Xplore (Online Service),
_edistributor.
_923145
710 2 _aMIT Press,
_epublisher.
_923146
776 0 8 _iPrint version
_z9780262192972
830 0 _aACM doctoral dissertation award
_921979
856 4 2 _3Abstract with links to resource
_uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
942 _cEBK
999 _c73154
_d73154