ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Categorical Combinators, Sequential Algorithms, and Functional Programming

دانلود کتاب ترکیبی های قطعی ، الگوریتم های متوالی و برنامه نویسی عملکردی

Categorical Combinators, Sequential Algorithms, and Functional Programming

مشخصات کتاب

Categorical Combinators, Sequential Algorithms, and Functional Programming

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 2 
نویسندگان:   
سری: Progress in Theoretical Computer Science 
ISBN (شابک) : 3764336544, 0817636544 
ناشر: Birkhäuser 
سال نشر: 1993 
تعداد صفحات: 424 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Categorical Combinators, Sequential Algorithms, and Functional Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

این کتاب یک نسخه کاملاً اصلاح شده از یک تک نگاری است که رویکردی به طراحی و اجرای زبان های برنامه نویسی متوالی بر اساس رابطه بین حساب لامبدا و نظریه دسته ارائه می دهد. پایه های یک منطق ترکیبی جدید "مقوله ای" گذاشته شده است. تکنیک های گردآوری و ارزیابی مورد بررسی قرار می گیرد. یک ماشین انتزاعی ساده به نام ماشین انتزاعی طبقه‌بندی ارائه شده است: این ماشین به عنوان هسته اصلی اجرای زبان CAML از خانواده ML است که در INRIA-Roquencourt و Ecole Normale Superieure توسعه یافته و اولین بار در سال 1987 منتشر شد. ویژگی های اصلی این رویکرد سادگی مفهومی و فشردگی است، با توجه به قابلیت حمل، کارایی و اثبات صحت. یک معناشناسی ریاضی ترتیبی پیشنهاد شده است که در آن از "الگوریتم های ترتیبی" به جای توابع برای تفسیر رویه ها استفاده می شود. تحقیقات نظری منجر به توسعه یک زبان برنامه نویسی، CDSO شده است که در آن انواع پایه و کاربردی از هم متمایز نمی شوند. چارچوب ارزیابی یک شبکه جریان داده مبتنی بر تقاضا است. مدل الگوریتم‌های متوالی با توجه به این زبان کاملاً انتزاعی است: دو رویه اگر و تنها در صورتی که رفتار یکسانی داشته باشند، معنای یکسانی دارند. پیشینه انتزاع کامل داده شده است. نسخه جدید نتایج جدید را پوشش می‌دهد، و اتصالات جدیدی را معرفی می‌کند، همانطور که توسط مشت غیر جامع کلمات کلیدی زیر پیشنهاد می‌شود: ویژگی‌های تلاقی ترکیب‌کننده‌های طبقه‌ای، جایگزین‌های صریح، عملیات کنترل، منطق خطی، هندسه تعامل، پایداری قوی.


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

This book is a thoroughly revised edition of a monograph that presents an approach to the design and implementation of sequential programming languages based on the relationship between lambda-calculus and category theory. The foundations of a new "categorical" combinatory logic are laid down. Compilation and evaluation techniques are investigated. A simple abstract machine, called the Categorical Abstract Machine, is presented: it has served as the core of the implementation of the language CAML, of the ML family, developed at INRIA-Roquencourt and Ecole Normale Superieure, and first released in 1987. The main characteristics of this approach are conceptual simplicity and compactness, with bearings on portability, efficiency, and correctness proofs. A mathematical semantics of sequentiality is proposed, in which "sequential algorithms" rather than functions are used to interpret procedures. The theoretical investigation has led to the development of a programming language, CDSO, in which basic and functional types are not differentiated. The evaluation framework is a demand-driven data flow network. The model of sequential algorithms is fully abstract with respect to this language: two procedures have the same denotation if and only if they have the same behaviour. Background on full abstraction is given. The new edition covers new results, and introduces new connections, as suggested by the following non-exhaustive fist of keywords: confluence properties of categorical combinators, explicit substitutions, control operations, linear logic, geometry of interaction, strong stability.





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

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