دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Baltasar Trancón y Widemann (auth.), Jay McCarthy (eds.) سری: Lecture Notes in Computer Science 8322 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642453397, 9783642453403 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 175 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گرایش های برنامه نویسی کاربردی: چهاردهمین سمپوزیوم بین المللی، TFP 2013، Provo، UT، ایالات متحده آمریکا، 14-16 مه 2013، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب شامل مقالات منتخب اصلاحشده چهاردهمین سمپوزیوم بینالمللی گرایشها در برنامهنویسی عملکردی، TFP 2013 است که در پروو، UT، ایالات متحده آمریکا در می 2013 برگزار شد. از 27 ارسالی آنها موضوعاتی مانند سیستم های توزیع شده، آموزش، پیاده سازی زبان کاربردی، سنتز سخت افزار، تجزیه و تحلیل استاتیک، آزمایش و برنامه نویسی کل را پوشش می دهند.
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.
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 -