دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
دانلود کتاب برنامه ریزی کاربردی، گلاسکو 1990: مقالات کارگاه آموزشی Glasgow 1990 در برنامه ریزی کاربردی 13-15 اوت 1990، Ullapool، Scotland
مشخصات کتاب
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
ویرایش: [1 ed.] نویسندگان: Guy Argo (auth.), Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540196679, 9781447138105 ناشر: Springer-Verlag London سال نشر: 1991 تعداد صفحات: 287 [294] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 35,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی کاربردی، گلاسکو 1990: مقالات کارگاه آموزشی Glasgow 1990 در برنامه ریزی کاربردی 13-15 اوت 1990، Ullapool، Scotland نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی کاربردی، گلاسکو 1990: مقالات کارگاه آموزشی Glasgow 1990 در برنامه ریزی کاربردی 13-15 اوت 1990، Ullapool، Scotland
این جلد شامل مقالات ارائه شده در سومین کارگاه برنامه‌نویسی تابعی گلاسکو است که در اولاپول، اسکاتلند، 13 تا 15 اوت 1990 برگزار شد. اعضای گروه‌های برنامه‌نویسی تابعی در دانشگاه‌های گلاسکو و استرلینگ، همراه با تعداد کمی در این کارگاه شرکت کردند. از شرکت کنندگان دعوت شده از سایر دانشگاه ها و صنعت. مقالات از نظری تا عملی، با تاکید ویژه بر کاربرد ایده های نظری در مسائل عملی متفاوت است. این منعکس کننده رابطه نزدیک غیرمعمول بین تئوری و عمل است که جامعه تحقیقاتی برنامه نویسی کاربردی را مشخص می کند. همچنین مطالبی در مورد تجربه استفاده از زبان های کاربردی برای برنامه های کاربردی خاص و اشکال زدایی و پروفایل برنامه های کاربردی وجود دارد.
توضیحاتی درمورد کتاب به خارجی
This volume contains the papers presented at the 3rd Glasgow Workshop on Functional Programming which was held in Ullapool, Scotland, 13-15 August 1990. Members of the functional programming groups at the universities of Glasgow and Stirling attended the workshop, together with a small number of invited participants from other universities and industry. The papers vary from the theoretical to the pragmatic, with particular emphasis on the application of theoretical ideas to practical problems. This reflects the unusually close relationship between theory and practice which characterises the functional programming research community. There is also material on the experience of using functional languages for particular applications, and on debugging and profiling functional programs.
فهرست مطالب
Front Matter....Pages i-viii
Lifetime analysis....Pages 1-8
Compiling Laziness by Partial Evaluation....Pages 9-22
Strictness Analysis in 4D....Pages 23-43
An Algorithmic and Semantic Approach to Debugging....Pages 44-53
Abstract Interpretation of Term Graph Rewriting Systems....Pages 54-65
Compile-Time Garbage Collection by Necessity Analysis....Pages 66-70
Improving Full Laziness....Pages 71-82
Towards Binding-Time Improvement for Free....Pages 83-100
Towards Relating Forwards and Backwards Analyses....Pages 101-113
PERs Generalise Projections for Strictness Analysis (Extended Abstract)....Pages 114-125
Functional Programming with Relations....Pages 126-140
Abstract Interpretation vs . Type Inference A Topological Perspective....Pages 141-145
Analysing Heap Contents in a Graph Reduction Intermediate Language....Pages 146-171
Is Compile Time Garbage Collection Worth the Effort?....Pages 172-176
Generating a Pattern Matching Compiler by Partial Evaluation....Pages 177-195
An Experiment using Term Rewriting Techniques for Concurrency....Pages 196-200
Type Refinement in Ruby....Pages 201-217
Normal-Order Reduction Using Scan Primitives....Pages 218-226
Calculating lenient programs’ performance....Pages 227-236
Problems & Proposals for Time & Space Profiling of Functional Programs....Pages 237-245
Solid Modelling in Haskell ....Pages 246-263
Differentiating Strictness....Pages 264-267
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts....Pages 268-273
Concurrent Data Manipulation in a Pure Functional Language....Pages 274-286
Back Matter....Pages 287-287
