کامپیوترها

برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)

Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

دانلود کتاب Functional Programming and Input/Output (Distinguished Dissertations in Computer Science) (به فارسی: برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)) نوشته شده توسط «Andrew D. Gordon»

اطلاعات کتاب برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Andrew D. Gordon

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 169

حجم کتاب: 2 مگابایت

کد کتاب: 0521070074 , 9780521070072 , 0521471036 , 9780521471039

نوبت چاپ: 1

توضیحات کتاب برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)

یکی از جذابیت‌های رایج برای برنامه‌نویسی تابعی، سهولت اثبات ویژگی‌های برنامه است. یکی از ناامیدی‌های رایج در برنامه‌نویسی عملکردی، دشواری بیان ورودی/خروجی (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.

دانلود کتاب «برنامه نویسی تابعی و ورودی/خروجی (پایان نامه های ممتاز در علوم کامپیوتر)»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان