ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Programming and Software Engineering 10702 
ISBN (شابک) : 9783319733043, 9783319733050 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: 212 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 48,000



کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلامی: بیستمین سمپوزیوم بین المللی ، PADL 2018 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 8 تا 9 ژانویه 2018 ، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب 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




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی