ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Two-Level Functional Languages

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

Two-Level Functional Languages

مشخصات کتاب

Two-Level Functional Languages

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری: Cambridge Tracts in Theoretical Computer Science 34 
ISBN (شابک) : 0511526571, 0521018471 
ناشر: Cambridge University Press 
سال نشر: 1992 
تعداد صفحات: 311 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Two-Level Functional Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب زبانهای عملکردی دو سطح

نویسندگان در اینجا چارچوبی را توصیف می‌کنند که در آن نوع نمادگذاری زبان‌های تابعی گسترش می‌یابد تا نمادی برای زمان‌های صحافی (که زمان اجرا و زمان کامپایل است) که بین آن‌ها تمایز قائل می‌شود، را شامل شود. در نتیجه، توانایی تعیین کد و تأیید صحت برنامه را می توان بهبود بخشید. دو پیشرفت مورد نیاز است، که اولی تمایز زمان اتصال را در حساب لامبدا به روشی مشابه با معرفی انواع در حساب لامبدای نامشخص معرفی می‌کند. روش‌هایی نیز برای معرفی ترکیب‌کننده‌ها برای زمان اجرا ارائه شده‌اند. دومی مربوط به تفسیر زبان به دست آمده است که به عنوان محاسبات لامبدا و منطق ترکیبی شناخته می شود. مفهوم \"معناشناسی پارامتری شده\" برای توصیف تولید کد و تفسیر انتزاعی استفاده می شود. تولید کد برای یک ماشین انتزاعی ساده است که برای این منظور طراحی شده است، به ماشین انتزاعی طبقه بندی نزدیک است. تفسیر انتزاعی بر تحلیل سختگیری متمرکز است که تحلیل وادلر را برای فهرست ها تعمیم می دهد. همچنین نشان داده شده است که چگونه می توان از نتایج تفسیر انتزاعی برای بهبود تولید کد استفاده کرد.


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

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of "parametrized semantics" is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.





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

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