دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نویسی: زبان های برنامه نویسی ویرایش: نویسندگان: Flemming Nielson سری: Monographs in Computer Science ISBN (شابک) : 0387948759, 9780387948751 ناشر: Springer سال نشر: 1997 تعداد صفحات: 269 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب ML with Concurrency: Design, Analysis, Implementation, and Application به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ML با همکاری: طراحی، تجزیه و تحلیل، پیاده سازی و برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
زبانهای تابعی خالص به راحتی قابل استدلال هستند اما گسترده نیستند استفاده کنید. استاندارد ML با ادغام ماهرانه ویژگی های ضروری، دارای است به استفاده بسیار گسترده تری دست یافت. با این حال، سیستم های موجود اغلب دارای تعداد زیادی هستند اجزایی که باید همزمان اجرا شوند و ادغام همزمانی اولیه نوید مفید بودن برای چنین وظایفی را نشان می دهد. نرم افزار در این صورت توسعه می تواند در دنیای امن افراد قوی صورت گیرد سیستم تایپ چند شکلی و ماژول های استاندارد ML. این کتاب تعدادی از رویکردهای اخیر برای ادغام را بررسی می کند پارادایم های برنامه نویسی کاربردی و همزمان این گسترده است طیف، و در این کتاب ما بر توسعه های استاندارد ML با تمرکز می کنیم اولیه های جدید برای همزمانی این شامل طراحی چندپارادایگ زبانهای ماتیک، روشهایی برای توصیف معناشناسی آنها، تکنیکهایی برای تجزیه و تحلیل بخش هایی از زبان ها و در نهایت رویکردهایی به اجرای توزیع شده ارتباط نزدیکی دارند، اما در این کتاب پوشش داده نشده است محاسبات فرآیند مرتبه بالاتر و پیاده سازی های موازی موجود زبان های کاربردی
Pure functional languages are easy to reason about but are not in widespread use. By the skillful integration of imperative features, Standard ML has achieved much wider use. However, existing systems often have many components that must execute at the same time, and the integration of concurrency primitives shows promise of being useful for such tasks. Software development then can take place in the secure world of the strong polymorphic typing and modules system of Standard ML. This book surveys a number of recent approaches to the integration of the functional and concurrent programming paradigms. This is a wide spectrum, and in this book we concentrate on extensions of Standard ML with new primitives for concurrency. This involves the design of multiparadig- matic languages, methods for describing their semantics, techniques for the analysis of fragments of the languages, and finally, approaches to distributed implementation. Closely related, but not covered in this book, are the higher-order process calculi and the parallel implementations of existing functional languages.