دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
دانلود کتاب جنبه های عملی زبان های اعلامی: بیستمین سمپوزیوم بین المللی ، PADL 2018 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 8 تا 9 ژانویه 2018 ، مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ویرایش: 1 نویسندگان: Francesco Calimeri, Kevin Hamlen, Nicola Leone (eds.) سری: Programming and Software Engineering 10702 ISBN (شابک) : 9783319733043, 9783319733050 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 212 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلامی: بیستمین سمپوزیوم بین المللی ، PADL 2018 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 8 تا 9 ژانویه 2018 ، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلامی: بیستمین سمپوزیوم بین المللی ، PADL 2018 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 8 تا 9 ژانویه 2018 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلامی: بیستمین سمپوزیوم بین المللی ، PADL 2018 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 8 تا 9 ژانویه 2018 ، مجموعه مقالات
این کتاب مجموعه مقالات بیستمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبان‌های اعلانی، PADL 2018 است که در ژانویه 2018 در لس‌آنجلس، کالیفرنیا، ایالات متحده آمریکا برگزار شد و با چهل و پنجمین سمپوزیوم ACM SIGPLAN در اصول زبان‌های برنامه‌نویسی برگزار شد. 13 مقاله منظم ارائه شده در این جلد به همراه چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 23 مقاله ارسالی انتخاب شدند. آنها با برنامه نویسی تابعی سر و کار دارند. برنامه نویسی محدودیت و قوانین تجاری؛ پرولوگ و بهینه سازی؛ و برنامه نویسی مجموعه پاسخ.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming.
فهرست مطالب
Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
Probabilistic Functional Logic Programming (Sandra Dylus, Jan Christiansen, Finn Teegen)....Pages 3-19
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs (Florian Biermann, Wensheng Dou, Peter Sestoft)....Pages 20-35
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell (Gordon Stewart, Samuel Merten, Logan Leland)....Pages 36-52
Hygienic Source-Code Generation Using Functors (Karl Crary)....Pages 53-60
Front Matter ....Pages 61-61
Three Is a Crowd: SAT, SMT and CLP on a Chessboard (Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagić)....Pages 63-79
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik)....Pages 80-96
Front Matter ....Pages 97-97
Exploiting Term Hiding to Reduce Run-Time Checking Overhead (Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo)....Pages 99-115
On k-colored Lambda Terms and Their Skeletons (Paul Tarau)....Pages 116-131
Front Matter ....Pages 133-133
Optimizing Answer Set Computation via Heuristic-Based Decomposition (Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari)....Pages 135-151
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report (Stefano Germano, Francesco Calimeri, Eliana Palermiti)....Pages 152-160
A REST-Based Development Framework for ASP: Tools and Application (Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri)....Pages 161-169
Navigating Online Semantic Resources for Entity Set Expansion (Weronika T. Adrian, Marco Manna)....Pages 170-185
Automatic Web Services Composition for Phylotastic (Thanh H. Nguyen, Tran Cao Son, Enrico Pontelli)....Pages 186-202
Back Matter ....Pages 203-203
