دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
دانلود کتاب برنامه ریزی کاربردی و منطقی: پانزدهمین سمپوزیوم بین المللی ، FLOPS 2020 ، آکیتا ، ژاپن ، 14 تا 16 سپتامبر ، 2020 ، مجموعه مقالات
مشخصات کتاب
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
ویرایش: 1st ed.
نویسندگان: Keisuke Nakano. Konstantinos Sagonas
سری: Lecture Notes in Computer Science 12073
ISBN (شابک) : 9783030590246, 9783030590253
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: 229
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب برنامه ریزی کاربردی و منطقی: پانزدهمین سمپوزیوم بین المللی ، FLOPS 2020 ، آکیتا ، ژاپن ، 14 تا 16 سپتامبر ، 2020 ، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی کاربردی و منطقی: پانزدهمین سمپوزیوم بین المللی ، FLOPS 2020 ، آکیتا ، ژاپن ، 14 تا 16 سپتامبر ، 2020 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی کاربردی و منطقی: پانزدهمین سمپوزیوم بین المللی ، FLOPS 2020 ، آکیتا ، ژاپن ، 14 تا 16 سپتامبر ، 2020 ، مجموعه مقالات
این کتاب مجموعه مقالات پانزدهمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2020 است که در آکیتا، ژاپن*، در سپتامبر 2020 برگزار شد.
12 مقاله ارائه‌شده در این جلد. از بین 25 مورد ارسالی به دقت بررسی و انتخاب شدند. آنها تمام جنبه های طراحی، معناشناسی، تئوری، کاربردها، پیاده سازی ها و آموزش برنامه نویسی اعلانی را با تمرکز بر موضوعاتی مانند برنامه نویسی تابعی، برنامه نویسی منطقی، برنامه نویسی اعلامی، برنامه نویسی محدودیت، روش رسمی، بررسی مدل، تغییر برنامه، اصلاح برنامه، پوشش می دهند. و نظریه نوع.
*کنفرانس به دلیل همه گیری کووید-19 به صورت مجازی برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.
The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
*The conference was held virtually due to the COVID-19 pandemic.
فهرست مطالب
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL (Makoto Hamana)....Pages 3-9
Front Matter ....Pages 11-11
The Bang Calculus Revisited (Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso)....Pages 13-32
Functional Pearl: The Distributive \(\lambda \)-Calculus (Beniamino Accattoli, Alejandro Díaz-Caro)....Pages 33-49
Polynomial Time over the Reals with Parsimony (Emmanuel Hainry, Damiano Mazza, Romain Péchoux)....Pages 50-65
Session Types Without Sophistry (Oleg Kiselyov, Keigo Imai)....Pages 66-87
Restriction on Cut in Cyclic Proof System for Symbolic Heaps (Kenji Saotome, Koji Nakazawa, Daisuke Kimura)....Pages 88-105
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming (Matteo Cimini)....Pages 106-123
Declarative Pearl: Deriving Monadic Quicksort (Shin-Cheng Mu, Tsung-Ju Chiang)....Pages 124-138
Language-Integrated Query with Nested Data Structures and Grouping (Rui Okura, Yukiyoshi Kameyama)....Pages 139-158
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update (Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu)....Pages 159-178
Implementing, and Keeping in Check, a DSL Used in E-Learning (Oliver Westphal, Janis Voigtländer)....Pages 179-197
System Description: Lang-n-Change - A Tool for Transforming Languages (Benjamin Mourad, Matteo Cimini)....Pages 198-214
An SMT-Based Concolic Testing Tool for Logic Programs (Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal)....Pages 215-219
Back Matter ....Pages 221-221
