دانلود کتاب 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، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، 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
نام کتاب : Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : پیاده سازی و کاربرد زبان های کاربردی: بیست و سومین سمپوزیوم بین المللی، IFL 2011، لارنس، KS، ایالات متحده آمریکا، 3-5 اکتبر 2011، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 7257
نویسندگان : Arie Middelkoop, Alexander B. Elyasov (auth.), Andy Gill, Jurriaan Hage (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 188
ISBN (شابک) : 9783642344060 , 9783642344077
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کنفرانس بیست و سومین سمپوزیوم بین‌المللی پیاده‌سازی و کاربرد زبان‌های کاربردی، IFL 2011 است که در اکتبر 2011 در لارنس، کانزاس، ایالات متحده برگزار شد. و از بین 33 مورد ارسالی انتخاب شد. مقالات محققین و دست اندرکارانی که به طور فعال در پیاده سازی و استفاده از زبان های برنامه نویسی تابعی و تابعی درگیر هستند، کار عملی و نظری و همچنین کاربردها و ابزارها را توصیف می کنند. آنها درباره ایده ها و مفاهیم جدید و همچنین کار در حال پیشرفت و نتایج بحث می کنند.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی