دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
دانلود کتاب برنامه ریزی کاربردی و منطقی: سیزدهمین سمپوزیوم بین المللی ، FLOPS 2016 ، کوچی ، ژاپن ، 4-6 مارس 2016 ، مجموعه مقالات
مشخصات کتاب
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ویرایش: 1
نویسندگان: Oleg Kiselyov. Andy King (eds.)
سری: Lecture Notes in Computer Science 9613
ISBN (شابک) : 9783319296036, 9783319296043
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 265
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب برنامه ریزی کاربردی و منطقی: سیزدهمین سمپوزیوم بین المللی ، FLOPS 2016 ، کوچی ، ژاپن ، 4-6 مارس 2016 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی کاربردی و منطقی: سیزدهمین سمپوزیوم بین المللی ، FLOPS 2016 ، کوچی ، ژاپن ، 4-6 مارس 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی کاربردی و منطقی: سیزدهمین سمپوزیوم بین المللی ، FLOPS 2016 ، کوچی ، ژاپن ، 4-6 مارس 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات سیزدهمین سمپوزیوم بین المللی برنامه
نویسی عملکردی و منطقی، FLOPS 2016، در کوچی، ژاپن، در مارس
2016 برگزار شد.
14 مقاله ارائه شده در این جلد با دقت بررسی و انتخاب شدند. از
36 ارسالی آنها موضوعات زیر را پوشش می دهند: برنامه نویسی
تابعی و منطقی. تغییر برنامه و بازنویسی؛ و استخراج برنامه ها
از شواهد صحت آنها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 13th
International Symposium on Functional and Logic Programming,
FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully
reviewed and selected from 36 submissions. They cover the
following topics: functional and logic programming; program
transformation and re-writing; and extracting programs from
proofs of their correctness.
فهرست مطالب
Front Matter....Pages I-XII
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project....Pages 1-11
From Sets to Bits in Coq....Pages 12-28
From Proposition to Program....Pages 29-44
The Boolean Constraint Solver of SWI-Prolog (System Description)....Pages 45-61
Probabilistic Inference by Program Transformation in Hakaru (System Description)....Pages 62-79
An Interaction Net Encoding of Gödel’s System \(\mathcal {T}\) ....Pages 80-93
Space-Efficient Planar Acyclicity Constraints....Pages 94-108
Executable Relational Specifications of Polymorphic Type Systems Using Prolog....Pages 109-125
Proof Relevant Corecursive Resolution....Pages 126-143
A Coq Library for Internal Verification of Running-Times....Pages 144-162
A Transformational Approach to Parametric Accumulated-Cost Static Profiling....Pages 163-180
Polymorphic Types in Erlang Function Specifications....Pages 181-197
Declarative Foreign Function Binding Through Generic Programming....Pages 198-214
Incremental Computing with Abstract Data Structures....Pages 215-231
Declarative Programming with Algebra....Pages 232-251
Back Matter....Pages 253-253
