دانلود کتاب Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
کتاب گرایش های برنامه نویسی کاربردی: چهاردهمین سمپوزیوم بین المللی، TFP 2013، Provo، UT، ایالات متحده آمریکا، 14-16 مه 2013، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب گرایش های برنامه نویسی کاربردی: چهاردهمین سمپوزیوم بین المللی، TFP 2013، Provo، UT، ایالات متحده آمریکا، 14-16 مه 2013، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
نام کتاب : Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : گرایش های برنامه نویسی کاربردی: چهاردهمین سمپوزیوم بین المللی، TFP 2013، Provo، UT، ایالات متحده آمریکا، 14-16 مه 2013، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 8322 Theoretical Computer Science and General Issues
نویسندگان : Baltasar Trancón y Widemann (auth.), Jay McCarthy (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2014
تعداد صفحات : 175
ISBN (شابک) : 9783642453397 , 9783642453403
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب شامل مقالات منتخب اصلاح‌شده چهاردهمین سمپوزیوم بین‌المللی گرایش‌ها در برنامه‌نویسی عملکردی، TFP 2013 است که در پروو، UT، ایالات متحده آمریکا در می 2013 برگزار شد. 10 مقاله کامل اصلاح‌شده موجود در این جلد با دقت انتخاب شدند از 27 ارسالی آنها موضوعاتی مانند سیستم های توزیع شده، آموزش، پیاده سازی زبان کاربردی، سنتز سخت افزار، تجزیه و تحلیل استاتیک، آزمایش و برنامه نویسی کل را پوشش می دهند.
فهرست مطالب :
Front Matter....Pages -
Total Functional Software Engineering....Pages 1-16
Using Rewriting to Synthesize Functional Languages to Digital Circuits....Pages 17-33
Distributed Places....Pages 34-57
Bytecode and Memoized Closure Performance....Pages 58-75
Towards Efficient Abstractions for Concurrent Consensus....Pages 76-90
Blame Prediction....Pages 91-106
Model-Based Shrinking for State-Based Testing....Pages 107-124
Control-Flow Analysis with SAT Solvers....Pages 125-133
A Survey of Polyvariance in Abstract Interpretations....Pages 134-148
Functional Video Games in CS1 III....Pages 149-167
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.