دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
دانلود کتاب برنامه ریزی کاربردی و منطقی: دوازدهمین سمپوزیوم بین المللی ، FLOPS 2014 ، کانازاوا ، ژاپن ، 4-6 ژوئن 2014. مجموعه مقالات
مشخصات کتاب
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ویرایش: 1
نویسندگان: Michael Codish. Eijiro Sumii (eds.)
سری: Lecture Notes in Computer Science 8475 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319071503, 9783319071510
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 367
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب برنامه ریزی کاربردی و منطقی: دوازدهمین سمپوزیوم بین المللی ، FLOPS 2014 ، کانازاوا ، ژاپن ، 4-6 ژوئن 2014. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی کاربردی و منطقی: دوازدهمین سمپوزیوم بین المللی ، FLOPS 2014 ، کانازاوا ، ژاپن ، 4-6 ژوئن 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی کاربردی و منطقی: دوازدهمین سمپوزیوم بین المللی ، FLOPS 2014 ، کانازاوا ، ژاپن ، 4-6 ژوئن 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم بین‌المللی برنامه‌نویسی عملکردی و منطقی، FLOPS 2014 است که در کانازاوا، ژاپن، در ژوئن 2014 برگزار شد. 21 مقاله کامل و 3 سخنرانی دعوت شده ارائه شده در این جلد با دقت بررسی و انتخاب شدند. از 41 ارسال آنها با برنامه نویسی اعلانی، از جمله برنامه نویسی تابعی و برنامه نویسی منطقی سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
فهرست مطالب
Front Matter....Pages -
PrologCheck – Property-Based Testing in Prolog....Pages 1-17
Generating Constrained Random Data with Uniform Distribution....Pages 18-34
Guided Type Debugging....Pages 35-51
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging....Pages 52-68
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing....Pages 69-85
The Design and Implementation of BER MetaOCaml....Pages 86-102
On Cross-Stage Persistence in Multi-Stage Programming....Pages 103-118
Lightweight Higher-Kinded Polymorphism....Pages 119-135
Generic Programming with Multiple Parameters....Pages 136-151
Type-Based Amortized Resource Analysis with Integers and Arrays....Pages 152-168
Linear Sized Types in the Calculus of Constructions....Pages 169-185
Dynamic Programming via Thinning and Incrementalization....Pages 186-202
POSIX Regular Expression Parsing with Derivatives....Pages 203-220
Proving Correctness of Compilers Using Structured Graphs....Pages 221-237
A New Formalization of Subtyping to Match Subclasses to Subtypes....Pages 238-252
Type Soundness and Race Freedom for Mezzo....Pages 253-269
Semantics for Prolog with Cut – Revisited....Pages 270-284
Constraint Logic Programming for Hedges: A Semantic Reconstruction....Pages 285-301
How Many Numbers Can a Lambda-Term Contain?....Pages 302-318
AC-KBO Revisited....Pages 319-335
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata....Pages 336-352
Back Matter....Pages -
