Objects for Concurrent Constraint Programming

برنامه نویسی محدودیت همزمان (ccp) یک پیشرفت اخیر در طراحی زبان برنامه نویسی است. سهم اصلی آن مفهوم اطلاعات جزئی ارائه شده توسط یک ذخیره محدودیت مشترک است. این ذخیره محدودیت به عنوان یک رسانه ارتباطی بین رشته های کنترل همزمان و به عنوان وسیله ای برای هماهنگ سازی آنها عمل می کند.
اشیاء برای برنامه نویسی محدودیت همزمان امکان پشتیبانی از برنامه نویسی شی گرا در ccp را تجزیه و تحلیل می کند. با شروع از رویکردهای ایجاد شده، این کتاب مدل های مختلف شی را پوشش می دهد و ویژگی های آنها را مورد بحث قرار می دهد. Small Oz، زیرزبانی از زبان ccp Oz، به عنوان زبان مدل برای این تحلیل استفاده می شود. این کتاب یک سیستم شی همه منظوره را برای اوز کوچک ارائه می‌کند و پیاده‌سازی و بیان آن را برای محاسبات همزمان شرح می‌دهد.
اشیاء برای برنامه نویسی محدودیت همزمان برای محققان زبان برنامه نویسی نوشته شده است که علاقه مند به جنبه های زبان برنامه نویسی همزمانی، برنامه نویسی شی گرا یا برنامه نویسی محدودیت هستند. پیاده‌کننده‌های زبان برنامه‌نویسی از برخورد دقیق اجرای کارآمد Small Oz بهره‌مند خواهند شد. برنامه نویسان Oz یک دید دست اول از تصمیمات طراحی که در پس سیستم شی اوز نهفته است خواهند داشت.

Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization.
Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a sublanguage of the ccp language Oz, is used as a model language for this analysis. This book presents a general-purpose object system for Small Oz and describes its implementation and expressivity for concurrent computation.
Objects for Concurrent Constraint Programming is written for programming language researchers with an interest in programming language aspects of concurrency, object-oriented programming, or constraint programming. Programming language implementors will benefit from the rigorous treatment of the efficient implementation of Small Oz. Oz programmers will get a first-hand view of the design decisions that lie behind the Oz object system.