دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop
دانلود کتاب برنامه نویسی تابعی، گلاسکو 1994: مجموعه مقالات کارگاه آموزشی 1994 گلاسکو
مشخصات کتاب
Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop
ویرایش: 1 نویسندگان: Kevin Hammond, David N. Turner, Patrick M. Sansom سری: Workshops in Computing ISBN (شابک) : 3540199144, 9781447135739 ناشر: Springer سال نشر: 1995 تعداد صفحات: 268 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب برنامه نویسی تابعی، گلاسکو 1994: مجموعه مقالات کارگاه آموزشی 1994 گلاسکو: برنامه نویسی تابعی (علوم کامپیوتر) -- کنگره ها، برنامه نویسی تابعی (علوم کامپیوتر)
در صورت تبدیل فایل کتاب Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی تابعی، گلاسکو 1994: مجموعه مقالات کارگاه آموزشی 1994 گلاسکو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی تابعی، گلاسکو 1994: مجموعه مقالات کارگاه آموزشی 1994 گلاسکو
این مجموعه مقالات هفتمین کارگاه سالانه است که توسط گروه برنامه نویسی عملکردی گلاسکو برگزار می شود. هدف از این کارگاه ایجاد تمرکز برای تحقیقات جدید، تقویت ارتباطات تحقیقاتی با سایر محققان زبان کاربردی و ایجاد بستری برای دانشجویان پژوهشگر برای توسعه مهارت های ارائه خود است. مانند سال های گذشته، ما سه روز را در یک شهر ساحلی دلپذیر و جدا از تعهدات کاری معمولی در کنار هم گذراندیم. همکارانی از دانشگاه های دیگر (هم انگلستان و هم خارج از کشور) و از صنعت به ما پیوستند. شرکت کنندگان در کارگاه یک سخنرانی کوتاه در مورد کار تحقیقاتی فعلی خود ارائه کردند و مقاله ای را تهیه کردند که در پیش نویس مجموعه مقالات ظاهر شد. سپس این مقالات با توجه به بحث های انجام شده در کارگاه و نظرات داوران بررسی و بازنگری شد. منتخبی از آن مقالات تجدید نظر شده (اکثر مقالات ارائه شده در کارگاه) در اینجا در مجموعه مقالات منتشر شده ظاهر می شود. مقالات خود گستره وسیعی را پوشش می‌دهند، از کار نظری روی جبر و دو شباهت تا تجربه یک کاربرد پزشکی در دنیای واقعی. جای تعجب نیست که با توجه به سوابق گلاسکو، تاکید زیادی بر تکنیک‌های تدوین و بهینه‌سازی‌ها وجود دارد، و همچنین چندین مقاله در مورد همزمانی و موازی‌سازی وجود دارد.
توضیحاتی درمورد کتاب به خارجی
This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism
فهرست مطالب
Front Matter....Pages i-x
Expression Refinement: Deriving Bresenham’s Algorithm....Pages 1-17
Dynamic Algebra for Calculating Algorithms....Pages 18-28
On the expressive power of Constructor Classes....Pages 29-49
Programming Reactive Systems in Haskell....Pages 50-65
Techniques for Simplifying the Visualization of Graph Reduction....Pages 66-77
A Tutorial on Co-induction and Functional Programming....Pages 78-95
Unboxing using Specialisation....Pages 96-110
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell....Pages 111-126
Fold-Unfold Transformations on State Monadic Interpreters....Pages 127-140
Functional Binomial Queues....Pages 141-150
Mechanized Reasoning about Functional Programs....Pages 151-166
A Case Study in Parallel Program Derivation: the Heat Equation Algorithm....Pages 167-183
Compilation by Transformation in the Glasgow Haskell Compiler....Pages 184-204
Experience of developing a cervical cytology scanning system using Gofer and Haskell....Pages 205-217
Binding-time Improvement and Fold/Unfold Transformation....Pages 218-230
Data Dependent Concurrency Control....Pages 231-244
Type-Checked Message-Passing between Functional Processes....Pages 245-254
Back Matter....Pages 255-257
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Misconceptions about the Middle Ages (Routledge Studies in Medieval Religion and Culture)
دانلود کتاب 童话
دانلود کتاب Fluid mechanics and machinery
