ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986

دانلود کتاب کاهش نمودار: مجموعه مقالات یک کارگاه آموزشی سانتافه، نیومکزیکو، ایالات متحده آمریکا 29 سپتامبر تا 1 اکتبر 1986

Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986

مشخصات کتاب

Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 279 
ISBN (شابک) : 3540184201, 9783540184201 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1987 
تعداد صفحات: 466 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب کاهش نمودار: مجموعه مقالات یک کارگاه آموزشی سانتافه، نیومکزیکو، ایالات متحده آمریکا 29 سپتامبر تا 1 اکتبر 1986: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، معماری پردازنده، تکنیک های برنامه نویسی، منطق ریاضی و مبانی



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

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


در صورت تبدیل فایل کتاب Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کاهش نمودار: مجموعه مقالات یک کارگاه آموزشی سانتافه، نیومکزیکو، ایالات متحده آمریکا 29 سپتامبر تا 1 اکتبر 1986 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کاهش نمودار: مجموعه مقالات یک کارگاه آموزشی سانتافه، نیومکزیکو، ایالات متحده آمریکا 29 سپتامبر تا 1 اکتبر 1986



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

This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versions were prepared after the workshop, they reflect some of the discussions as well. Some benefits of graph reduction can be found in these papers: - A mathematically elegant denotational semantics - Lazy evaluation, which avoids recomputation and makes programming with infinite data structures (such as streams) possible - A natural tasking model for fine-to-medium grain parallelism. The major topics covered are computational models for graph reduction, implementation of graph reduction on conventional architectures, specialized graph reduction architectures, resource control issues such as control of reduction order and garbage collection, performance modelling and simulation, treatment of arrays, and the relationship of graph reduction to logic programming.



فهرست مطالب

On the correspondence of lambda style reduction and combinator style reduction....Pages 1-25
Head order reduction: A graph reduction scheme for the operational lambda calculus....Pages 26-48
A simple abstract machine to execute supercombinators....Pages 49-52
Concurrent term rewriting as a model of computation....Pages 53-93
Alfalfa: Distributed graph reduction on a hypercube multiprocessor....Pages 94-113
Parallel graph reduction on a supercomputer: A status report....Pages 114-118
Target code generation from G-machine code....Pages 119-159
Toward the design of a parallel graph reduction machine the MaRS project....Pages 160-180
The parallel graph reduction machine, ALICE....Pages 181-202
Overview of Rediflow II development....Pages 203-214
Specification of reduction strategies in term rewriting systems....Pages 215-239
Controlling reduction partial order in functional parallel programs....Pages 240-251
Parallel garbage collection for graph machines....Pages 252-264
Graph reduction in a parallel virtual memory environment....Pages 265-274
Performance measurement of a G-machine implementation....Pages 275-296
A flexible architectural study methodology....Pages 297-311
Arrays, non-determinism, side-effects, and parallelism: A functional perspective....Pages 312-327
A new array operation....Pages 328-335
I-Structures: Data structures for parallel computing....Pages 336-369
Parallel execution of an equational language....Pages 370-381
Implementing logical variables on a graph reduction architecture....Pages 382-400
Functional logic languages part I....Pages 401-425
Unification of quantified terms....Pages 426-450




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