دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers
دانلود کتاب پیاده سازی زبان های کاربردی: دوازدهمین کارگاه بین المللی، IFL 2000 آخن، آلمان، 4 تا 7 سپتامبر 2000 مقالات برگزیده
مشخصات کتاب
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers
ویرایش: 1 نویسندگان: Ricardo Peña, Clara Segura (auth.), Markus Mohnen, Pieter Koopman (eds.) سری: Lecture Notes in Computer Science 2011 ISBN (شابک) : 9783540419198, 3540419195 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 275 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب پیاده سازی زبان های کاربردی: دوازدهمین کارگاه بین المللی، IFL 2000 آخن، آلمان، 4 تا 7 سپتامبر 2000 مقالات برگزیده: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی زبان های کاربردی: دوازدهمین کارگاه بین المللی، IFL 2000 آخن، آلمان، 4 تا 7 سپتامبر 2000 مقالات برگزیده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی زبان های کاربردی: دوازدهمین کارگاه بین المللی، IFL 2000 آخن، آلمان، 4 تا 7 سپتامبر 2000 مقالات برگزیده
این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کارگاه بین المللی پیاده سازی زبان های کاربردی، IFL 2000، که در سپتامبر 2000 در آخن، آلمان برگزار شد، تشکیل شده است. بررسی و از بین 33 ارائه کارگاهی انتخاب شدند. از جمله موضوعات تحت پوشش مفاهیم زبان، بررسی نوع، تکنیک های کامپایل، تفسیر انتزاعی، تولید برنامه خودکار، معماری های ماشین انتزاعی، پردازش آرایه، پردازش همزمان و موازی، مدیریت پشته، پروفایل زمان اجرا، اندازه گیری عملکرد، اشکال زدایی و ردیابی، و ابزارها و برنامه نویسی است. تکنیک.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings
of the 12th International Workshop on Implementing Functional
Languages, IFL 2000, held in Aachen, Germany in September
2000.
The 15 revised full papers presented have gone through a
thorough round of post-workshop reviewing and were selected
from 33 workshop presentations. Among the topics covered are
language concepts, type checking, compilation techniques,
abstract interpretation, automatic program generation, abstract
machine architectures, array processing, concurrent and
parallel processing, heap management, runtime profiling,
performance measurement, debugging and tracing, and tools and
programming techniques.
فهرست مطالب
Non-determinism Analysis in a Parallel-Functional Language....Pages 1-18
Exploiting Implicit Parallelism in Functional Programs with SLAM....Pages 19-36
Verifying Generic Erlang Client—Server Implementations....Pages 37-52
The Design and Implementation of Glasgow Distributed Haskell....Pages 53-70
Implementation Skeletons in Eden: Low-Effort Parallel Programming....Pages 71-88
ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry....Pages 89-106
Distributed Programming in Haskell with Ports....Pages 107-121
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour....Pages 122-139
A Usage Analysis with Bounded Usage Polymorphism and Subtyping....Pages 140-157
Polygonizing Implicit Surfaces in a Purely Functional Way....Pages 158-175
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs....Pages 176-193
Porting the Clean Object I/O Library to Haskell....Pages 194-213
Organizing Speculative Computations in Functional Systems....Pages 214-230
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC....Pages 231-248
The Collective Semantics in Functional SPMD Programming....Pages 249-265
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Soziologische Aufklarung als moralische Passion: Pierre Bourdieu
دانلود کتاب Cellulose Based Composites: New Green Nanomaterials
دانلود کتاب Weight Training: A Beginners Guide to Building a Leaner, Bigger, Stronger Body, Naturally and Easily (The Bigger Leaner Stronger Muscle Series Book 5)
دانلود کتاب Examining the Big Bang and Diffuse Background Radiations: Proceedings of the 168th Symposium of the International Astronomical Union, Held in the Hague, The Netherlands, August 23–26, 1994
