عنوان
پدید آورنده
موضوع
رده
QA76.62 E358 2014
QA76
.
62
E358
2014
کتابخانه
محل استقرار
شابک
شابک
3642453392
شابک
3642453406
شابک
9783642453397
شابک
9783642453403
شماره کتابشناسی ملی
شماره
b555318
عنوان و نام پديدآور
عنوان اصلي
Trends in Functional Programming :
نام عام مواد
[Book]
ساير اطلاعات عنواني
14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
نام نخستين پديدآور
edited by Jay McCarthy.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2014
مشخصات ظاهری
نام خاص و کميت اثر
(x, 169 pages 59 illustrations)
فروست
عنوان فروست
Lecture notes in computer science, 8322.
یادداشتهای مربوط به مندرجات
متن يادداشت
Total Functional Software Engineering: Overview Paper.- Using Rewriting to Synthesize Functional Languages to Digital Circuits.- Distributed Places.- Bytecode and Memoized Closure Performance.- Towards Efficient Abstractions for Concurrent Consensus.- Blame Prediction.- Model-Based Shrinking for State-Based Testing.- Control-Flow Analysis with SAT Solvers.- A Survey of Polyvariance in Abstract Interpretations.- Functional Video Games in CS1 III: Distributed Programming for Beginners.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
رده بندی کنگره
شماره رده
QA76
.
62
نشانه اثر
E358
2014
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Jay McCarthy.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Jay McCarthy
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
