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

اجرای بهینه زبان های برنامه نویسی تابعی

The optimal implementation of functional programming languages

دانلود کتاب The optimal implementation of functional programming languages (به فارسی: اجرای بهینه زبان های برنامه نویسی تابعی) نوشته شده توسط «Andrea Asperti – Stefano Guerrini»

اطلاعات کتاب اجرای بهینه زبان های برنامه نویسی تابعی

موضوع اصلی: برنامه نویسی: زبان های برنامه نویسی

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

ناشر: Cambridge University Press

نویسنده: Andrea Asperti – Stefano Guerrini

زبان: English

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

سال انتشار: 1999

تعداد صفحه: 403

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

کد کتاب: 9780521621120 , 0521621127

توضیحات کتاب اجرای بهینه زبان های برنامه نویسی تابعی

تمام تکنیک های پیاده سازی سنتی برای زبان های تابعی از تکرار بیهوده کار جلوگیری می کنند. آن‌ها در اجرای اشتراک‌گذاری «بهینه» نیستند، و اغلب باعث انفجاری فاجعه‌بار و تصاعدی در کاهش زمان می‌شوند. کاهش بهینه یک تکنیک کاهش گراف ابتکاری برای عبارات تابعی است که توسط Lamping در سال 1990 معرفی شد و مشکل اشتراک گذاری را حل می کند. این اثر، اولین اثر در این زمینه، گزارشی جامع توسط دو تن از شارحان برجسته آن است. جنبه های پیاده سازی عملی و زیربنای ریاضی موضوع به طور کامل پوشش داده شده است. رابطه با کار پیشگام لوی و جدیدتر ژیرار “هندسه تعامل” بررسی شده است. بدین ترتیب کاهش بهینه به عنوان مثالی بارز از اینکه چگونه یک نظریه زیبای ریاضی می تواند به سود عملی منجر شود، آشکار می شود. این کتاب اساساً مستقل است و نیازی به آشنایی اولیه با زبان‌های کاربردی ندارد. دانشجویان تحصیلات تکمیلی و پژوهشگران در حساب لامبدا، برنامه نویسی تابعی یا منطق خطی از آن استقبال خواهند کرد.

All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not “optimal” in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard’s more recent “Geometry of Interaction” are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.

دانلود کتاب «اجرای بهینه زبان های برنامه نویسی تابعی»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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