دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
دانلود کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده
مشخصات کتاب
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ویرایش: 1 نویسندگان: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović (auth.), Julio Mariño (eds.) سری: Lecture Notes in Computer Science 6559 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642207747, 9783642207754 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 181 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی کاربردی و محدودیت: نوزدهمین کارگاه بین المللی ، WFLP 2010 ، مادرید ، اسپانیا ، 17 ژانویه 2010. مقالات منتخب اصلاح شده
این کتاب شامل مجموعه‌ای از مقالات ارائه شده در نوزدهمین کارگاه بین‌المللی برنامه‌نویسی منطقی تابعی و محدودیتی، WFLP 2010، در مادرید، اسپانیا، در ژانویه 2010، به عنوان بخشی است. از رویداد ACM-SIGPLAN Principles of Programming Languages، POPL 2010.
از 15 مقاله ارسال شده، 12 مقاله برای ارائه در کارگاه پذیرفته شد. 8 مقاله منظم ارائه شده در این جلد پس از دور دوم بررسی که پس از این رویداد انجام شد، انتخاب شدند. آنها با یک سخنرانی دعوت شده کامل توسط سخنران مهمان کارگاه، ماریانجیولا دزانی-سیانکاگلینی تکمیل می شوند. همه مسائل جاری در زمینه های برنامه نویسی منطق عملکردی و محدودیت ها از جمله جنبه های اساسی، طراحی زبان، پیاده سازی، تبدیل و تجزیه و تحلیل، مهندسی نرم افزار، ادغام پارادایم ها و برنامه ها پوشش داده شده است.
توضیحاتی درمورد کتاب به خارجی
This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010.
From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
فهرست مطالب
Front Matter....Pages -
Types for Role-Based Access Control of Dynamic Web Data....Pages 1-29
Transforming Functional Logic Programs into Monadic Functional Programs....Pages 30-47
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL....Pages 48-65
An Access Control Language Based on Term Rewriting and Description Logic....Pages 66-83
Lazy and Enforceable Assertions for Functional Logic Programs....Pages 84-100
Parameterized Models for On-Line and Off-Line Use....Pages 101-118
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry....Pages 119-136
Efficient and Compositional Higher-Order Streams....Pages 137-154
Bridging the Gap between Two Concurrent Constraint Languages....Pages 155-173
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Anatoli KARPOV - Su vida y partidas -
