دانلود کتاب 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 مقاله کارگاهی انتخاب شدند. از جمله موضوعات تحت پوشش، جنبه های مرتبط پیاده سازی و استفاده از زبان های تابعی، مانند سیستم های نوع، کامپایل، بهینه سازی برنامه، اثبات قضیه، صحت برنامه، تجزیه و تحلیل برنامه، کامپایلرهای موازی، زیر تایپ کردن و برنامه نویسی عمومی است.
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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.