مشخصات کتاب

Concurrent constraint programming

ویرایش:  
نویسندگان: Saraswat V.A.  
سری:  
ISBN (شابک) : 0262192977 
ناشر: MIT 
سال نشر: 1993 
تعداد صفحات: 530 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

در صورت تبدیل فایل کتاب Concurrent constraint programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی محدودیت همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه نویسی محدودیت همزمان

برنامه نویسی محدودیت همزمان دسته جدیدی از زبان های برنامه نویسی را بر اساس مفهوم محاسبات با اطلاعات جزئی یا محدودیت ها معرفی می کند که کار را بر روی برنامه نویسی منطقی همزمان ترکیب و گسترش می دهد و رویکرد امیدوارکننده ای را برای درمان مسائل دشوار در معنای زبان های برنامه نویسی همزمان و غیر قطعی ارائه می کند. .Saraswat یک چارچوب ظریف و قابل حمل معنایی برای محاسبات با محدودیت ها ایجاد می کند و بر اهمیت آنها برای ارتباط و کنترل در زبان های برنامه نویسی همزمان تأکید می کند. او پارادایم اصلی را توصیف می‌کند، ساختار آن را نشان می‌دهد، تقویت‌های مختلف را مورد بحث قرار می‌دهد، یک پیاده‌سازی ساده از یک زبان مشخص را ارائه می‌دهد، و ارتباط آن را با سایر فرمالیسم‌ها مشخص می‌کند. در این چارچوب، عوامل اجراکننده همزمان با قرار دادن و بررسی محدودیت‌ها بر روی متغیرهای مشترک در یک فروشگاه مشترک، ارتباط برقرار می‌کنند. شکل اصلی کنترل همزمانی در سیستم از طریق عملیات Atomic Tell است - یک عامل فقط در صورتی می‌تواند فوراً محدودیت‌هایی را اعمال کند که با محدودیت‌هایی که قبلاً اعمال شده‌اند مطابقت داشته باشند - و Blocking Ask - یک عامل باید زمانی که محدودیتی را بررسی می‌کند که هنوز وجود ندارد مسدود کند. شناخته شده برای نگه داشتن. سایر عملیات با دانه بندی دقیق اتمی نیز ارائه شده است. Saraswat خانواده محدودیت همزمان زبان های برنامه نویسی را بر اساس این ایده ها معرفی و توسعه می دهد، نشان می دهد که چگونه سیستم های محدودیت های مختلف می توانند به طور طبیعی ساختارهای داده رایج در علوم کامپیوتر را تحقق بخشند، و یک معناشناسی عملیاتی رسمی در زبان های فرمی ارائه می کند. خانواده محدودیت همزمان علاوه بر این، او با ارائه یک کامپایلر برای زبان محدودیت همزمان هربراند، تحقق ملموسی از پارادایم را در ماشین ترتیبی ارائه می‌کند و تعدادی از تکنیک‌های برنامه‌نویسی همزمان مبتنی بر محدودیت را نشان می‌دهد که منجر به ارائه‌های جدید الگوریتم‌ها برای بسیاری از مسائل برنامه‌نویسی همزمان می‌شود. ویجی آ. عضو هیات تحقیقاتی مرکز تحقیقات زیراکس پالو آلتو است.

توضیحاتی درمورد کتاب به خارجی

Concurrent Constraint Programming introduces a new and rich class of programminglanguages based on the notion of computing with partial information, or constraints, that synthesizeand extend work on concurrent logic programming and that offer a promising approach for treatingthorny issues in the semantics of concurrent, nondeterministic programming languages.Saraswatdevelops an elegant and semantically tractable framework for computing with constraints, emphasizingtheir importance for communication and control in concurrent, programming languages. He describesthe basic paradigm, illustrates its structure, discusses various augmentations, gives a simpleimplementation of a concrete language, and specifies its connections with other formalisms.In thisframework, concurrently executing agents communicate by placing and checking constraints on sharedvariables in a common store. The major form of concurrency control in the system is through theoperations of Atomic Tell - an agent may instantaneously place constraints only if they areconsistent with constraints that have already been placed - and Blocking Ask - an agent must blockwhen it checks a constraint that is not yet known to hold. Other operations at a finer granularityof atomicity are also presented.Saraswat introduces and develops the concurrent constraint family ofprogramming languages based on these ideas, shows how various constraint systems can naturallyrealize data structures common in computer science, and presents a formal operational semantics formany languages in the concurrent constraint family. In addition, he provides a concrete realizationof the paradigm on a sequential machine by presenting a compiler for the concurrent constraintlanguage Herbrand and demonstrates a number of constraint-based concurrent programming techniquesthat 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب 2019 Microsoft Excel® Pivot Tables & Introduction To Dashboards The Step-By-Step Guide

دانلود کتاب The Population Crisis and the Use of World Resources

دانلود کتاب Arte poetica. Consigli a un giovane poeta

دانلود کتاب Fragmentation of the Middle East: The Last Thirty Years

دانلود کتاب Passing the Leadership Baton: A Winning Transition Plan for Your Ministry