ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

دانلود کتاب پیاده سازی و استفاده از زبان های کاربردی: هجدهمین سمپوزیوم بین المللی ، IFL 2006 ، بوداپست ، مجارستان ، 4-6 سپتامبر 2006 ، نسخه های تجدید نظر شده

Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

مشخصات کتاب

Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 4449 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3540741291, 9783540741299 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 279 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



کلمات کلیدی مربوط به کتاب پیاده سازی و استفاده از زبان های کاربردی: هجدهمین سمپوزیوم بین المللی ، IFL 2006 ، بوداپست ، مجارستان ، 4-6 سپتامبر 2006 ، نسخه های تجدید نظر شده: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها



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

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


در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیاده سازی و استفاده از زبان های کاربردی: هجدهمین سمپوزیوم بین المللی ، IFL 2006 ، بوداپست ، مجارستان ، 4-6 سپتامبر 2006 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیاده سازی و استفاده از زبان های کاربردی: هجدهمین سمپوزیوم بین المللی ، IFL 2006 ، بوداپست ، مجارستان ، 4-6 سپتامبر 2006 ، نسخه های تجدید نظر شده



هجدهمین کارگاه بین المللی پیاده سازی و کاربرد زبان های تابعی در بوداپست، مجارستان، در سپتامبر 2006 برگزار شد. این کتاب، مقالات پس از داوری کارگاه را تشکیل می دهد.

پانزده مقاله کامل ارائه شده است. هر یک به دو دور بررسی ارسال شد تا از دقت، کامل بودن و خوانایی اطمینان حاصل شود.

این مقالات به تمام مسائل نظری و روش‌شناختی فعلی در زبان‌های کاربردی و مبتنی بر عملکرد می‌پردازند. این شامل مفاهیم زبان، برنامه نویسی همزمان/موازی، بررسی نوع، اجرای برنامه همزمان/موازی، تکنیک های کامپایل، مدیریت پشته، تکنیک های برنامه نویسی عمومی، پروفایل زمان اجرا، تفسیر انتزاعی، اندازه گیری عملکرد، تولید برنامه خودکار، اشکال زدایی و ردیابی، معماری های انتزاعی ماشین، تأیید، ابزارها و تکنیک های برنامه نویسی، پردازش آرایه، و ابزارها و برنامه های کاربردی در زبان های تابعی.


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

The 18th International Workshop on Implementation and Applications of Functional Languages was held in Budapest, Hungary, in September 2006. This book constitutes the refereed post-proceedings of the workshop.

Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability.

The papers address all current theoretical and methodological issues in functional and function-based languages. This includes language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, abstract interpretation, performance measurements, automatic program generation, debugging and tracing, abstract machine architectures, verification, tools and programming techniques, array processing, and tools and applications in functional languages.



فهرست مطالب

Front Matter....Pages -
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information....Pages 1-18
Index Vector Elimination – Making Index Vectors Affordable....Pages 19-36
Functional–Based Synthesis of a Systolic Array for GCD Computation....Pages 37-54
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages....Pages 55-72
Parallel Coordination Made Explicit in a Functional Setting....Pages 73-90
Low-Level Programming in Hume: An Exploration of the HW-Hume Level....Pages 91-107
A Conference Management System Based on the iData Toolkit ....Pages 108-125
A Pattern Logic for Prompt Lazy Assertions in Haskell....Pages 126-144
 Ivor , a Proof Engine....Pages 145-162
Proving Program Properties Specified with Subtype Marks....Pages 163-180
Uniqueness Typing Redefined....Pages 181-198
Heuristics for Type Error Discovery and Recovery....Pages 199-216
Testing Properties of Generic Functions....Pages 217-234
Worst-Case Execution Times for a Purely Functional Language....Pages 235-252
Automatic Partial Inversion of Inductively Sequential Functions....Pages 253-270
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد