ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Functional Programming and Input/Output

دانلود کتاب برنامه ریزی کاربردی و ورودی / خروجی

Functional Programming and Input/Output

مشخصات کتاب

Functional Programming and Input/Output 

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان:   
سری: Distinguished Dissertations in Computer Science 
ISBN (شابک) : 9780521070072, 0521070074 
ناشر: CUP 
سال نشر: 2008 
تعداد صفحات: 169 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 47,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب Functional Programming and Input/Output به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

یکی از جذابیت‌های رایج برای برنامه‌نویسی تابعی، سهولت اثبات ویژگی‌های برنامه است. یکی از ناامیدی‌های رایج در برنامه‌نویسی عملکردی، دشواری بیان ورودی/خروجی (I/O) و در عین حال امکان تأیید برنامه‌ها است. در اینجا، نویسنده نشان می‌دهد که چگونه یک نظریه برنامه‌نویسی تابعی را می‌توان به آرامی گسترش داد تا هم معناشناسی عملیاتی برای I/O عملکردی و هم تأیید برنامه‌های درگیر در I/O را بپذیرد. او برای اولین بار معنای عملیاتی را برای سه مکانیسم ورودی/خروجی که به طور گسترده برای زبان‌های تنبل اجرا شده است به دست می‌آورد و ثابت می‌کند که این سه در قدرت بیانی معادل هستند. او همچنین معناشناسی را برای شکلی از I/O مونادیک توسعه می دهد و یک مثال برنامه نویسی ساده را تأیید می کند. این تئوری‌های ورودی/خروجی تابعی مبتنی بر یک نظریه کاملاً عملیاتی برنامه‌نویسی تابعی است که با استفاده از «بیشبیه‌سازی کاربردی» آبرامسکی توسعه یافته است. دانشجویان و محققان فارغ‌التحصیل از مطالعه این کتاب سود زیادی خواهند برد.


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

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's "applicative bisimulation." Graduate students and researchers will gain much from reading this book.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی