کامپیوترها

پیاده سازی زبان های کاربردی: سیزدهمین کارگاه بین المللی، IFL 2001 استکهلم، سوئد، 24–26 سپتامبر 2001 مقالات منتخب

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

دانلود کتاب Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers (به فارسی: پیاده سازی زبان های کاربردی: سیزدهمین کارگاه بین المللی، IFL 2001 استکهلم، سوئد، 24–26 سپتامبر 2001 مقالات منتخب) نوشته شده توسط «Ricardo Pena – Clara Segura (auth.) – Thomas Arts – Markus Mohnen (eds.)»


اطلاعات کتاب پیاده سازی زبان های کاربردی: سیزدهمین کارگاه بین المللی، IFL 2001 استکهلم، سوئد، 24–26 سپتامبر 2001 مقالات منتخب

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Ricardo Pena – Clara Segura (auth.) – Thomas Arts – Markus Mohnen (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2002

تعداد صفحه: 196

حجم کتاب: 2 مگابایت

کد کتاب: 3540435379 , 9783540435372

نوبت چاپ: 1

توضیحات کتاب پیاده سازی زبان های کاربردی: سیزدهمین کارگاه بین المللی، IFL 2001 استکهلم، سوئد، 24–26 سپتامبر 2001 مقالات منتخب

این کتاب مجموعه مقالات پس از داوری کامل سیزدهمین کارگاه بین المللی پیاده سازی زبان های کاربردی، IFL 2001 است که در سپتامبر 2001 در استکهلم، سوئد برگزار شد.
یازده مقاله کامل اصلاح شده ارائه شده دور کاملی از پست را پشت سر گذاشته اند. – بررسی کارگاهی و از بین 28 مقاله کارگاهی انتخاب شدند. از جمله موضوعات تحت پوشش، جنبه های مرتبط پیاده سازی و استفاده از زبان های تابعی، مانند سیستم های نوع، کامپایل، بهینه سازی برنامه، اثبات قضیه، صحت برنامه، تجزیه و تحلیل برنامه، کامپایلرهای موازی، زیر تایپ کردن و برنامه نویسی عمومی است.


This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001.
The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic programming.

دانلود کتاب «پیاده سازی زبان های کاربردی: سیزدهمین کارگاه بین المللی، IFL 2001 استکهلم، سوئد، 24–26 سپتامبر 2001 مقالات منتخب»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.