دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
دانلود کتاب برنامه نویسی کاربردی و منطقی: یازدهمین سمپوزیوم بین المللی ، FLOPS 2012 ، کوبه ، ژاپن ، 23-25 مه 2012. مجموعه مقالات
مشخصات کتاب
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ویرایش: 1 نویسندگان: Michael Codish (auth.), Tom Schrijvers, Peter Thiemann (eds.) سری: Lecture Notes in Computer Science 7294 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642298219, 3642298214 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 341 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی و منطقی: یازدهمین سمپوزیوم بین المللی ، FLOPS 2012 ، کوبه ، ژاپن ، 23-25 مه 2012. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی کاربردی و منطقی: یازدهمین سمپوزیوم بین المللی ، FLOPS 2012 ، کوبه ، ژاپن ، 23-25 مه 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی کاربردی و منطقی: یازدهمین سمپوزیوم بین المللی ، FLOPS 2012 ، کوبه ، ژاپن ، 23-25 مه 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2012، برگزار شده در کوبه، ژاپن، در ماه مه 2012 است. 19 مقاله تحقیقاتی و 3 نمایش سیستم ارائه شده در این جلد با دقت بررسی و انتخاب شدند. از 39 ارسال آنها با برنامه نویسی اعلانی، از جمله برنامه نویسی تابعی و برنامه نویسی منطقی سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.
فهرست مطالب
Front Matter....Pages -
Programming with Boolean Satisfaction....Pages 1-1
Automated Verification of Higher-Order Functional Programs....Pages 2-2
Dependently-Typed Programming in GHC....Pages 3-3
Call-by-Value Solvability, Revisited....Pages 4-16
Compiling a Functional Logic Language: The Basic Scheme ....Pages 17-31
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts....Pages 32-46
Normal Form Bisimulations for Delimited-Control Operators....Pages 47-61
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)....Pages 62-72
Declarative Debugging of Wrong and Missing Answers for SQL Views....Pages 73-87
Improving the Performance of FD Constraint Solving in a CFLP System....Pages 88-103
A General Implementation Framework for Tabled CLP....Pages 104-119
Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers....Pages 120-135
Correct Looping Arrows from Cyclic Terms....Pages 136-150
A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom....Pages 151-165
Iteratees....Pages 166-181
Mutual Exclusion by Interpolation....Pages 182-196
Parallel Computation Skeletons with Premature Termination Property....Pages 197-212
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems....Pages 213-227
A Data Flow Language for Hybrid Query and Programming Languages....Pages 228-242
Coinductive Constraint Logic Programming....Pages 243-259
A Call-by-Name CPS Hierarchy....Pages 260-274
Exact Flow Analysis by Higher-Order Model Checking....Pages 275-289
Computing in Cantor’s Paradise with λ ZFC ....Pages 290-306
The Finite Domain Constraint Solver of SWI-Prolog....Pages 307-316
Explicit Binds: Effortless Efficiency with and without Trees....Pages 317-331
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Domestic Revolution: How the Introduction of Coal into Victorian Homes Changed Everything
دانلود کتاب Severe Head Injuries: Pathology, Diagnosis and Treatment
دانلود کتاب The Pure Theory of Foreign Trade, the Pure Theory of Domestic Values (Reprints of Economics Classics)
دانلود کتاب Human Cytogenetic Cancer Markers
