Concurrent constraint programming / (Record no. 39412)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03824nam a2200505 i 4500 |
001 - CONTROL NUMBER | |
control field | 6267500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20190220121648.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 151223s1993 maua ob 001 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
Canceled/invalid LC control number | 92046404 (print) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0262192977 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780262290975 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780262192972 |
Qualifying information | |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (CaBNVSL)mat06267500 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (IDAMS)0b000064818b450e |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | CaBNVSL |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | CaBNVSL |
Modifying agency | CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.642 |
Item number | .S27 1993eb |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13/1 |
Edition number | 20 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Saraswat, Vijay, |
Relator term | author. |
245 10 - TITLE STATEMENT | |
Title | Concurrent constraint programming / |
Statement of responsibility, etc. | Vijay A. Saraswat. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | London, England ; |
Name of producer, publisher, distributor, manufacturer | MIT Press, |
Date of production, publication, distribution, manufacture, or copyright notice | c1993. |
264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | [Piscataqay, New Jersey] : |
Name of producer, publisher, distributor, manufacturer | IEEE Xplore, |
Date of production, publication, distribution, manufacture, or copyright notice | [1993] |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 PDF (xl, 486 pages) : |
Other physical details | illustrations. |
336 ## - CONTENT TYPE | |
Content type term | text |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | electronic |
Source | isbdmedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Logic programming |
490 1# - SERIES STATEMENT | |
Series statement | ACM doctoral dissertation awards |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references. |
506 1# - RESTRICTIONS ON ACCESS NOTE | |
Terms governing access | Restricted to subscribers or individual electronic text purchasers. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | 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.Vijay A. Saraswat is Member of the Research Staff at Xerox Palo Alto Research Center. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
Additional physical form available note | Also available in print. |
538 ## - SYSTEM DETAILS NOTE | |
System details note | Mode of access: World Wide Web |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on PDF viewed 12/23/2015. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Parallel programming (Computer science) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Constraint programming (Computer science) |
655 #0 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | IEEE Xplore (Online Service), |
Relator term | distributor. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | MIT Press, |
Relator term | publisher. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version |
International Standard Book Number | 9780262192972 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | ACM doctoral dissertation award |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | Abstract with links to resource |
Uniform Resource Identifier | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500 |
No items available.