دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
دانلود کتاب پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، IFL 2011، لارنس، KS، ایالات متحده آمریکا، 3-5 اکتبر 2011، مقالات منتخب اصلاح شده
مشخصات کتاب
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Arie Middelkoop, Alexander B. Elyasov (auth.), Andy Gill, Jurriaan Hage (eds.) سری: Lecture Notes in Computer Science 7257 ISBN (شابک) : 9783642344060, 9783642344077 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 188 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، IFL 2011، لارنس، KS، ایالات متحده آمریکا، 3-5 اکتبر 2011، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، IFL 2011، لارنس، KS، ایالات متحده آمریکا، 3-5 اکتبر 2011، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، IFL 2011، لارنس، KS، ایالات متحده آمریکا، 3-5 اکتبر 2011، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس بیست و سومین سمپوزیوم بین‌المللی پیاده‌سازی و کاربرد زبان‌های کاربردی، IFL 2011، که در لارنس، کانزاس، ایالات متحده آمریکا، در اکتبر 2011 برگزار شد، با داوری کامل است. و از بین 33 مورد ارسالی انتخاب شد. مقالات محققین و دست اندرکارانی که به طور فعال در پیاده سازی و استفاده از زبان های برنامه نویسی تابعی و تابعی درگیر هستند، کارهای عملی و نظری و همچنین کاربردها و ابزارها را توصیف می کنند. آنها درباره ایده ها و مفاهیم جدید و همچنین کار در حال پیشرفت و نتایج بحث می کنند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.
فهرست مطالب
Front Matter....Pages -
Functional Instrumentation of ActionScript Programs with Asil....Pages 1-16
Fairness for Transactional Events....Pages 17-34
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell....Pages 35-50
Challenges for a Trace-Based Just-In-Time Compiler for Haskell....Pages 51-68
Lazy Generation of Canonical Test Programs....Pages 69-84
Generic Monadic Constructs for Embedded Languages....Pages 85-99
From Stack Traces to Lazy Rewriting Sequences....Pages 100-115
Model Based Testing with Logical Properties versus State Machines....Pages 116-133
Property-Based Testing and Verification: A Catalog of Classroom Examples....Pages 134-147
Describing and Optimising Reversible Logic Using a Functional Language....Pages 148-163
Hardware Design with Generalized Arrows....Pages 164-180
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Enterprise Resource Planning Decade: Lessons Learned and Issues for the Future
دانلود کتاب Otherwise Than the Binary: New Feminist Readings in Ancient Philosophy and Culture (Suny Ancient Greek Philosophy)
دانلود کتاب پانصد سال چالدران یا پیوند ایران و ترکیه در مسئله شرق
دانلود کتاب Nonequilibrium Superconductivity, Phonons, and Kapitza Boundaries
