دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
دانلود کتاب زبان های برنامه نویسی کاربردی و معماری کامپیوتر: پنجمین کنفرانس ACM کمبریج، MA، ایالات متحده آمریکا، 26 تا 30 اوت، 1991 مجموعه مقالات
مشخصات کتاب
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
ویرایش: [1 ed.] نویسندگان: Tobias Nipkow (auth.), John Hughes (eds.) سری: Lecture Notes in Computer Science 523 ISBN (شابک) : 3540543961, 9783540543961 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 672 [675] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های برنامه نویسی کاربردی و معماری کامپیوتر: پنجمین کنفرانس ACM کمبریج، MA، ایالات متحده آمریکا، 26 تا 30 اوت، 1991 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های برنامه نویسی کاربردی و معماری کامپیوتر: پنجمین کنفرانس ACM کمبریج، MA، ایالات متحده آمریکا، 26 تا 30 اوت، 1991 مجموعه مقالات
این کتاب نمای جامعی از بهترین و جدیدترین کار در برنامه نویسی تابعی ارائه می دهد. این مجموعه مقالات یک کنفرانس بزرگ بین المللی است و شامل 30 مقاله است که از 126 مقاله ارسال شده انتخاب شده است. تعدادی موضوع ظاهر می شود. یکی علاقه فزاینده به انواع است: سیستم‌های نوع قدرتمند یا چک‌کننده‌های نوع که از اضافه بار، اجبار، انواع پویا و استنتاج افزایشی پشتیبانی می‌کنند. انواع خطی برای بهینه سازی ذخیره سازی و انواع چند شکلی برای بهینه سازی تحلیل معنایی. موضوع داغ ارزیابی جزئی به خوبی نشان داده شده است: تکنیک‌هایی برای تجزیه و تحلیل زمان الزام‌آوری مرتبه بالاتر، اطمینان از پایان ارزیابی جزئی، و بهبود برنامه‌های باقیمانده که یک ارزیاب جزئی تولید می‌کند. مشکل خاردار دستکاری حالت در زبان‌های تابعی مورد بررسی قرار می‌گیرد: یک مقاله حتی استدلال می‌کند که برنامه‌های موازی با اثرات جانبی می‌توانند نسبت به برنامه‌های صرفاً کاربردی «اظهاری‌تر» باشند. کار نظری مدل جدیدی از انواع مبتنی بر پیش‌بینی، پارامتریک بودن، ارتباط بین تحلیل سخت‌گیری و منطق، و بحث در مورد اجرای کارآمد حساب لامبدا را پوشش می‌دهد. ارتباط با معماری کامپیوتر و انواع موضوعات دیگر نیز مورد بررسی قرار می گیرد.
توضیحاتی درمورد کتاب به خارجی
This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be \"more declarative\" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.
فهرست مطالب
Type classes and overloading resolution via order-sorted unification....Pages 1-14
On the complexity of ML typability with overloading....Pages 15-28
Coercive type isomorphism....Pages 29-49
Compiler-controlled multithreading for lenient parallel languages....Pages 50-72
Multi-thread code generation for dataflow architectures from non-strict programs....Pages 73-101
GAML: A parallel implementation of lazy ML....Pages 102-123
Functional programming with bananas, lenses, envelopes and barbed wire....Pages 124-144
A strongly-typed self-applicable partial evaluator....Pages 145-164
Automatic online partial evaluation....Pages 165-191
Assignments for applicative languages....Pages 192-214
Linearity and laziness....Pages 215-240
Syntactic detection of single-threading using continuations....Pages 241-258
A projection model of types....Pages 259-288
What is an efficient implementation of the λ-calculus?....Pages 289-312
Outline of a proof theory of parametricity....Pages 313-327
Reasoning about simple and exhaustive demand in higher-order lazy languages....Pages 328-351
Strictness analysis in logical form....Pages 352-366
A note on abstract interpretation of polymorphic functions....Pages 367-378
Incremental polymorphism....Pages 379-405
Dynamics in ML....Pages 406-426
Implementing regular tree expressions....Pages 427-447
Efficient type inference for higher-order binding-time analysis....Pages 448-472
Finiteness analysis....Pages 473-495
For a better support of static data flow....Pages 496-519
An architectural technique for cache-level garbage collection....Pages 520-537
M-structures: Extending a parallel, non-strict, functional language with state....Pages 538-568
List comprehensions in agna, a parallel persistent object system....Pages 569-591
Generating efficient code for lazy functional languages....Pages 592-617
Making abstract machines less abstract....Pages 618-635
Unboxed values as first class citizens in a non-strict functional language....Pages 636-666
