ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993

دانلود کتاب برنامه نویسی کاربردی کارگاه گلاسگو اقدامات ؛ 5-7 ژوئیه 1993

Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993

مشخصات کتاب

Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993

ویرایش: Softcover reprint of the original 1st ed. 1994 
نویسندگان: ,   
سری: Workshops in Computing 
ISBN (شابک) : 3540198792, 0387198792 
ناشر: Springer 
سال نشر: 1994 
تعداد صفحات: 298 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی کاربردی کارگاه گلاسگو اقدامات ؛ 5-7 ژوئیه 1993 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی کاربردی کارگاه گلاسگو اقدامات ؛ 5-7 ژوئیه 1993

گروه برنامه نویسی کاربردی در دانشگاه گلاسکو در سال 1986 توسط جان هیوز و مری شیران راه اندازی شد. از آن زمان به بعد اندازه و قدرت آن افزایش یافت و به یکی از بزرگترین گروه های تحقیقاتی علم محاسبات در گلاسکو تبدیل شد و شهرت بین المللی به دست آورد. اولین کارگاه برنامه نویسی تابعی گلاسکو در تابستان 1988 سازماندهی شد. هدف آن سه مورد بود: ارائه تصویری از تمام تحقیقات در حال انجام در داخل گروه، به اشتراک گذاشتن ایده های تحقیقاتی بین Glaswegians و همکاران در بریتانیا و خارج از کشور، و معرفی دانش آموزان را به هنر نوشتن و ارائه مقاله در یک کنفرانس نیمه رسمی (اما هنوز محلی و دوستانه) تحقیق کنید. موفقیت اولین کارگاه منجر به یک سری سالانه شد: Rothesay (1988)، Fraserburgh (1989)، Ullapool (1990). Portree (1991)، Ayr (1992)، و کارگاه در این مجموعه گزارش شده است: Ayr (1993). اکثر شرکت کنندگان مقاله ای نوشتند که در پیش نویس مقالات (توزیع شده در کارگاه) ظاهر شد و هر پیش نویس مقاله توسط یکی از نویسندگان ارائه شد. مقالات همگی توسط چندین شرکت کننده دیگر در کارگاه داوری شدند، چه داخلی و چه خارجی، و کمیته برنامه مقالاتی را برای این کار انتخاب کرد. اکثر مقالات دو بار اصلاح شده اند، اولاً بر اساس بازخورد در کارگاه، و دوم با استفاده از گزارش داوری


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

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports



فهرست مطالب

Front Matter....Pages i-viii
The Boom Hierarchy....Pages 1-8
Factoring an Adequacy Proof (Preliminary Report)....Pages 9-25
Projection-based Termination Analysis....Pages 26-42
A framework for optimising abstract data types....Pages 43-57
Spiking Your Caches....Pages 58-68
Experiments with destructive updates in a lazy functional language (extended abstract)....Pages 69-82
The aim is laziness in a data-parallel language....Pages 83-99
On the Comparative Evaluation of Parallel Languages and Systems: A Functional Note....Pages 100-112
Deterministic Concurrency....Pages 113-126
Using Strictness in the STG Machine....Pages 127-137
The Implementer’s Dilemma: A Mathematical Model of Compile Time Garbage Collection....Pages 138-144
Functional Graph Algorithms with Depth-First Search (Preliminary Summary)....Pages 145-155
Distributed Garbage Collection of Cyclic Structures....Pages 156-169
Update Avoidance Analysis by Abstract Interpretation....Pages 170-184
Local Speculative Evaluation for Distributed Graph Reduction....Pages 185-192
Bidirectional Fold and Scan....Pages 193-200
Measuring the effectiveness of a simple strictness analyser....Pages 201-221
Implementing Fudgets with Standard Widget Sets....Pages 222-235
Profiling Parallel Functional Computations (Without Parallel Machines)....Pages 236-251
Time Profiling a Lazy Functional Compiler....Pages 252-264
Solving recursive domain equations by term rewriting....Pages 265-279
Separating Interaction....Pages 280-286
Back Matter....Pages 287-289




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

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