دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Hans-Georg Oberhauser (auth.), Joseph H. Fasel, Robert M. Keller (eds.) سری: 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: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، معماری پردازنده، تکنیک های برنامه نویسی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب 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
