دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
دانلود کتاب برنامه نویسی منطق عملکردی و محدودیت: بیستمین کارگاه بین المللی ، WFLP 2011 ، اودنسه ، دانمارک ، 19 ژوئیه ، مجموعه مقالات
مشخصات کتاب
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ویرایش: 1 نویسندگان: Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.) سری: Lecture Notes in Computer Science 6816 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642225307, 9783642225314 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 162 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطق عملکردی و محدودیت: بیستمین کارگاه بین المللی ، WFLP 2011 ، اودنسه ، دانمارک ، 19 ژوئیه ، مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، تصویربرداری کامپیوتری، بینایی، الگوی پاسخ
در صورت تبدیل فایل کتاب Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطق عملکردی و محدودیت: بیستمین کارگاه بین المللی ، WFLP 2011 ، اودنسه ، دانمارک ، 19 ژوئیه ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطق عملکردی و محدودیت: بیستمین کارگاه بین المللی ، WFLP 2011 ، اودنسه ، دانمارک ، 19 ژوئیه ، مجموعه مقالات
این کتاب مجموعه مقالات کنفرانس داوری بیستمین کارگاه بین
المللی برنامه نویسی منطقی تابعی و محدودیتی، WFLP 2011، در
اودنسه، دانمارک، در ژوئیه 2011 به عنوان بخشی از سیزدهمین
سمپوزیوم بین المللی اصول و تمرین برنامه نویسی اعلامی (PPDP)
است. 2011)، بیست و دومین سمپوزیوم بین المللی سنتز و تبدیل
برنامه مبتنی بر منطق (LOPSTR 2011)، و چهارمین کارگاه بین
المللی رویکردها و کاربردهای برنامه نویسی استقرایی (AAIP
2011).
از 10 مقاله ارسالی، 9 مقاله برای ارائه در ادامه پذیرفته شد.
این مقالات تحقیقات جاری را در همه زمینه های برنامه نویسی
تابعی و منطقی و همچنین ادغام منطق محدودیت و برنامه نویسی شی
گرا و بازنویسی اصطلاحات را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed conference proceedings of
the 20th International Workshop on Functional and Constraint
Logic Programming, WFLP 2011, held in Odense, Denmark, in
July 2011 as Part of the 13th International Symposium on
Principles and Practice of Declarative Programming (PPDP
2011), the 22st International Symposium on Logic-Based
Program Synthesis and Transformation (LOPSTR 2011), and the
4th International Workshop on Approaches and Applications of
Inductive Programming (AAIP 2011).
From the 10 papers submitted, 9 were accepted for
presentation the proceeding. The papers cover current
research in all areas of functional and logic programming as
well as the integration of constraint logic and
object-oriented programming, and term rewriting.
فهرست مطالب
Front Matter....Pages -
KiCS2: A New Compiler from Curry to Haskell....Pages 1-18
New Functional Logic Design Patterns....Pages 19-34
XQuery in the Functional-Logic Language Toy....Pages 35-51
Size Invariant and Ranking Function Synthesis in a Functional Language....Pages 52-67
Memoizing a Monadic Mixin DSL....Pages 68-85
A Functional Approach to Worst-Case Execution Time Analysis....Pages 86-103
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming....Pages 104-121
Logic Java: Combining Object-Oriented and Logic Programming....Pages 122-137
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs....Pages 138-155
Back Matter....Pages -
