دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Stephen Chang, David Van Horn, Matthias Felleisen (auth.), Rex Page, Zoltán Horváth, Viktória Zsók (eds.) سری: Lecture Notes in Computer Science 6546 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642229411, 3642229417 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 215 [223] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
در صورت تبدیل فایل کتاب Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای برنامه نویسی کاربردی: یازدهمین سمپوزیوم بین المللی ، TFP 2010 ، نورمن ، اوکی ، ایالات متحده آمریکا ، 17 تا 19 مه 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس یازدهمین سمپوزیوم بینالمللی گرایشها در برنامهنویسی عملکردی، TFP 2010 است که در مه 2010 در نورمن، OK، ایالات متحده برگزار شد. از 26 ارسال در طی دو دور بررسی و بهبود. این مقالات شامل ایدههای جدید برای refactoring، مدیریت پیچیدگی کد منبع، پیادهسازی زبان تابعی، زبانهای گرافیکی، کاربردهای برنامهنویسی تابعی در ریاضیات محض، نظریه نوع، چندوظیفه و پردازش موازی، سیستمهای توزیعشده، مدلسازی علمی، زبانهای خاص دامنه، طراحی سختافزار، آموزش، و آزمایش.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
Front Matter....Pages -
Evaluating Call-by-Need on the Control Stack....Pages 1-15
Typing Coroutines....Pages 16-30
An Expression Processor: A Case Study in Refactoring Haskell Programs....Pages 31-49
Static Balance Checking for First-Class Modular Systems of Equations....Pages 50-65
Graphical and Incremental Type Inference: A Graph Transformation Approach....Pages 66-83
Hygienic Macros for ACL2....Pages 84-101
What’s the Matter with Kansas Lava?....Pages 102-117
Types and Type Families for Hardware Simulation and Synthesis....Pages 118-133
Testing with Functional Reference Implementations....Pages 134-149
Every Animation Should Have a Beginning, a Middle, and an End....Pages 150-165
Functional Video Games in the CS1 Classroom....Pages 166-183
ComputErl – Erlang-Based Framework for Many Task Computing....Pages 184-197
Monad Factory: Type-Indexed Monads....Pages 198-213
Back Matter....Pages -