دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
دانلود کتاب جنبه های عملی زبان های اعلانی: نوزدهمین سمپوزیوم بین المللی، PADL 2017، پاریس، فرانسه، 16-17 ژانویه 2017، مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
ویرایش: 1
نویسندگان: Yuliya Lierler. Walid Taha (eds.)
سری: Lecture Notes in Computer Science 10137
ISBN (شابک) : 9783319516752, 9783319516769
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 224
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلانی: نوزدهمین سمپوزیوم بین المللی، PADL 2017، پاریس، فرانسه، 16-17 ژانویه 2017، مجموعه مقالات: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تکنیک‌های برنامه‌نویسی، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، هوش مصنوعی (شامل رباتیک)، برنامه‌های کامپیوتری. در پردازش داده های اداری
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلانی: نوزدهمین سمپوزیوم بین المللی، PADL 2017، پاریس، فرانسه، 16-17 ژانویه 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلانی: نوزدهمین سمپوزیوم بین المللی، PADL 2017، پاریس، فرانسه، 16-17 ژانویه 2017، مجموعه مقالات
این کتاب مجموعه مقالات نوزدهمین سمپوزیوم بین‌المللی جنبه‌های
کاربردی زبان‌های اعلانی، PADL 2017 است که در ژانویه 2017 در
پاریس، فرانسه برگزار شد و با سمپوزیوم ACM SIGPLAN در اصول
زبان‌های برنامه‌نویسی همراه بود.
14 مقاله ارائه شده در این جلد به دقت بررسی و از بین 27 مقاله
ارسالی انتخاب شدند.
آنها با کاربردهای جدید و تکنیک‌های پیاده‌سازی برای همه اشکال
زبان‌های اعلانی، از جمله زبان‌های منطقی، محدودیت‌ها و تابعی،
اما نه محدود به آن، سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 19th
International Symposium on Practical Aspects of Declarative
Languages, PADL 2017, held in Paris, France, in January 2017
and collocated with the ACM SIGPLAN Symposium on Principles
of Programming Languages.
The 14 papers presented in this volume were carefully
reviewed and selected from 27 submissions.
They deal with novel applications and implementation
techniques for all forms of declarative languages, including
but not limited to logic, constraint, and functional
languages.
فهرست مطالب
Front Matter....Pages I-X
Eliminating Irrelevant Non-determinism in Functional Logic Programs....Pages 1-18
Canonicalizing High-Level Constructs in Picat....Pages 19-33
An Overview of P \(\rho \) Log....Pages 34-49
Integrating Answer Set Programming with Object-Oriented Languages....Pages 50-67
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens....Pages 68-85
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System....Pages 86-102
Failing Faster: Overlapping Patterns for Property-Based Testing....Pages 103-119
Boltzmann Samplers for Closed Simply-Typed Lambda Terms....Pages 120-135
Selection Equilibria of Higher-Order Games....Pages 136-151
DALI for Cognitive Robotics: Principles and Prototype Implementation....Pages 152-162
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications....Pages 163-172
A Domain-Specific Language for Software-Defined Radio....Pages 173-188
A Declarative DSL for Customizing ASCII Art....Pages 189-197
Using Iterative Deepening for Probabilistic Logic Inference....Pages 198-213
Back Matter....Pages 215-215
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Dreamtime Voyage: Around Australia Kayak Odyssey
دانلود کتاب Bridging Time Scales - Molecular Simuls for the Next Decade [LNP 0605]
دانلود کتاب Get Fit Brain Hacks: Psychological Triggers for Amplifying Fitness Motivation
