توضیحات
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.
The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات چهاردهمین سمپوزیوم بینالمللی برنامهنویسی عملکردی و منطقی، FLOPS 2018 است که در ناگویا، ژاپن، در ماه می 2018 برگزار شد.
17 مقاله ارائهشده در این جلد بودند. از بین 41 مورد ارسالی به دقت بررسی و انتخاب شد. آنها تمام جنبه های طراحی، معناشناسی، تئوری، کاربردها، اجراها و آموزش برنامه نویسی اعلانی را با تمرکز بر موضوعاتی مانند برنامه نویسی منطقی عملکردی، سیستم های بازنویسی، روش های رسمی و بررسی مدل، تبدیل برنامه ها و اصلاح برنامه ها، توسعه برنامه ها پوشش می دهند. با کمک اثبات کننده های قضیه یا حل کننده های SAT/SMT، طراحی زبان و مسائل پیاده سازی.
tag : دانلود کتاب برنامه نویسی تابعی و منطقی , Download برنامه نویسی تابعی و منطقی , دانلود برنامه نویسی تابعی و منطقی , Download Functional and Logic Programming Book , برنامه نویسی تابعی و منطقی دانلود , buy برنامه نویسی تابعی و منطقی , خرید کتاب برنامه نویسی تابعی و منطقی , دانلود کتاب Functional and Logic Programming , کتاب Functional and Logic Programming , دانلود Functional and Logic Programming , خرید Functional and Logic Programming , خرید کتاب Functional and Logic Programming ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.