دانلود کتاب Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
49,000 تومان
برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 169 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0521070074,9780521070072,0521471036,9780521471039 |
| نوبت چاپ | 1 |
| نویسنده | Andrew D. Gordon |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)
یکی از جذابیتهای رایج برای برنامهنویسی تابعی، سهولت اثبات ویژگیهای برنامه است. یکی از ناامیدیهای رایج در برنامهنویسی عملکردی، دشواری بیان ورودی/خروجی (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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.