دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
دانلود کتاب برنامه نویسی منطق عملکردی و محدودیت: هجدهمین کارگاه بین المللی ، WFLP 2009 ، برزیلی ، برزیل ، 28 ژوئن 2009 ، مقالات اصلاح شده
مشخصات کتاب
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ویرایش: 1 نویسندگان: Roberto Ierusalimschy (auth.), Santiago Escobar (eds.) سری: Lecture Notes in Computer Science 5979 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642119996, 3642119999 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 187 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب برنامه نویسی منطق عملکردی و محدودیت: هجدهمین کارگاه بین المللی ، WFLP 2009 ، برزیلی ، برزیل ، 28 ژوئن 2009 ، مقالات اصلاح شده: منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطق عملکردی و محدودیت: هجدهمین کارگاه بین المللی ، WFLP 2009 ، برزیلی ، برزیل ، 28 ژوئن 2009 ، مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطق عملکردی و محدودیت: هجدهمین کارگاه بین المللی ، WFLP 2009 ، برزیلی ، برزیل ، 28 ژوئن 2009 ، مقالات اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هجدهمین کارگاه بین المللی برنامه نویسی منطقی تابعی و محدودیتی، WFLP 2009، در برازیلیا، برزیل، در ژوئن 2009 به عنوان بخشی از RDP 2009، کنفرانس فدرال در بازنویسی، کسر، و برنامه نویسی برگزار شد. . 9 مقاله کامل اصلاح شده ارائه شده همراه با 2 مقاله دعوت شده با دقت بررسی و از 14 مشارکت اولیه کارگاه انتخاب شدند. این مقالات تحقیقات جاری را در تمام زمینه‌های برنامه‌نویسی منطق عملکردی و محدودیت‌ها از جمله حوزه‌های معمولی مورد علاقه، مانند مسائل اساسی، طراحی زبان، پیاده‌سازی، تبدیل و تحلیل، مهندسی نرم‌افزار، ادغام پارادایم‌ها و برنامه‌ها را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 14 initial workshop contributions. The papers cover current research in all areas of functional and constraint logic programming including typical areas of interest, such as foundational issues, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
فهرست مطالب
Front Matter....Pages -
Programming with Multiple Paradigms in Lua....Pages 1-12
Constraint Based Strategies....Pages 13-26
Integrating ILOG CP Technology into $\mathcal{TOY}$ ....Pages 27-43
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures....Pages 44-61
Semantic Labelling for Proving Termination of Combinatory Reduction Systems....Pages 62-78
A Taxonomy of Some Right-to-Left String-Matching Algorithms....Pages 79-95
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types....Pages 96-110
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation....Pages 111-127
New Results on Type Systems for Functional Logic Programming....Pages 128-144
A Simple Region Inference Algorithm for a First-Order Functional Language....Pages 145-161
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions....Pages 162-178
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Analysis I: Integral Representations and Asymptotic Methods
دانلود کتاب Diplomatic Investigations: Essays On The Theory Of International Politics
دانلود کتاب Le avventure di Guendalina Elefantina
دانلود کتاب Multilateralism in the 21st Century: Europe's Quest for Effectiveness
