ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

دانلود کتاب برنامه نویسی منطق عملکردی و محدودیتی: بیست و ششمین کارگاه بین المللی، WFLP 2018، فرانکفورت/ماین، آلمان، 6 سپتامبر 2018، مقالات منتخب اصلاح شده

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

مشخصات کتاب

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

ویرایش: 1st ed. 
نویسندگان:   
سری: Lecture Notes in Computer Science 11285 
ISBN (شابک) : 9783030162016, 9783030162023 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: 183 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب برنامه نویسی منطق عملکردی و محدودیتی: بیست و ششمین کارگاه بین المللی، WFLP 2018، فرانکفورت/ماین، آلمان، 6 سپتامبر 2018، مقالات منتخب اصلاح شده: علوم کامپیوتر، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان



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

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


در صورت تبدیل فایل کتاب Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطق عملکردی و محدودیتی: بیست و ششمین کارگاه بین المللی، WFLP 2018، فرانکفورت/ماین، آلمان، 6 سپتامبر 2018، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی منطق عملکردی و محدودیتی: بیست و ششمین کارگاه بین المللی، WFLP 2018، فرانکفورت/ماین، آلمان، 6 سپتامبر 2018، مقالات منتخب اصلاح شده



این کتاب مجموعه مقالات داوری پس از کنفرانس بیست و ششمین کارگاه بین المللی برنامه نویسی منطقی تابعی و محدودیتی، WFLP 2018، در فرانکفورت/ماین، آلمان، در سپتامبر 2018 است.

از 19 مقاله کامل ارسال شده، 12 مقاله برای ارائه در کارگاه پذیرفته شد. طی بررسی دوم بعد از کارگاه، 10 مقاله برای درج در این جلد پذیرفته شد. این مقالات حوزه‌های برنامه‌نویسی مختلف برنامه‌نویسی کاربردی و منطقی، از جمله تولید کد، تأیید، و اشکال‌زدایی را پوشش می‌دهند. آنها در بخش های موضوعی زیر سازماندهی شده اند: کامپایلرها و تولید کد. اشکال زدایی و تست؛ و مبانی برنامه نویسی منطق تابعی.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.

From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.



فهرست مطالب

Front Matter ....Pages i-vii
Front Matter ....Pages 1-1
Transpiling Programming Computable Functions to Answer Set Programs (Ingmar Dasseville, Marc Denecker)....Pages 3-17
Code Generation for Higher Inductive Types (Paventhan Vivekanandan)....Pages 18-35
Front Matter ....Pages 37-37
Measuring Coverage of Prolog Programs Using Mutation Testing (Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner)....Pages 39-55
Runtime Verification in Erlang by Using Contracts (Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit)....Pages 56-73
Enhancing POI Testing Through the Use of Additional Information (Sergio Pérez, Salvador Tamarit)....Pages 74-90
Front Matter ....Pages 91-91
Synthesizing Set Functions (Sergio Antoy, Michael Hanus, Finn Teegen)....Pages 93-111
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs (Henning Christiansen, Maja H. Kirkeby)....Pages 112-130
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming (Jan C. Dageförde)....Pages 131-144
FMS: Functional Programming as a Modelling Language (Ingmar Dasseville, Gerda Janssens)....Pages 145-161
Functional Federated Learning in Erlang (ffl-erl) (Gregor Ulm, Emil Gustavsson, Mats Jirstrand)....Pages 162-178
Back Matter ....Pages 179-179




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