دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1st ed.
نویسندگان: Josep Silva
سری: 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، مقالات منتخب اصلاح شده: علوم کامپیوتر، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب 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
