دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers
دانلود کتاب اجرای زبانهای کاربردی: سیزدهمین کارگاه بین المللی ، IFL 2001 استکهلم ، سوئد ، 24 تا 26 سپتامبر ، 2001 مقالات منتخب
مشخصات کتاب
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers
ویرایش: 1 نویسندگان: Ricardo Pena, Clara Segura (auth.), Thomas Arts, Markus Mohnen (eds.) سری: Lecture Notes in Computer Science 2312 ISBN (شابک) : 9783540435372, 9783540460282 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 194 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 61,000
کلمات کلیدی مربوط به کتاب اجرای زبانهای کاربردی: سیزدهمین کارگاه بین المللی ، IFL 2001 استکهلم ، سوئد ، 24 تا 26 سپتامبر ، 2001 مقالات منتخب: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اجرای زبانهای کاربردی: سیزدهمین کارگاه بین المللی ، IFL 2001 استکهلم ، سوئد ، 24 تا 26 سپتامبر ، 2001 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اجرای زبانهای کاربردی: سیزدهمین کارگاه بین المللی ، 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.
فهرست مطالب
Sized Types for Typing Eden Skeletons....Pages 1-17
A Compilation Scheme for a Hierarchy of Array Types....Pages 18-35
Optimizations on Array Skeletons in a Shared Memory Environment....Pages 36-54
Theorem Proving for Functional Programmers....Pages 55-71
Proving Correctness of Programs with IO —A Paradigm Comparison....Pages 72-87
Proving the Correctness of the STG Machine....Pages 88-104
Dynamic Cheap Eagerness....Pages 105-120
A Polynomial-Cost Non-determinism Analysis....Pages 121-137
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler....Pages 138-154
Runtime Behavior of Conversion Interpretation of Subtyping....Pages 155-167
A Generic Programming Extension for Clean....Pages 168-185
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Polarimetric SAR imaging: theory and applications
دانلود کتاب First Finnish Reader for Beginners
دانلود کتاب Vorgespannter Beton: Grundlagen · Theorie · Berechnung
دانلود کتاب Уæздандзинады гуырæнтæ / Родники благородства
