ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

دانلود کتاب برنامه نویسی کاربردی و منطقی: نهمین سمپوزیوم بین المللی ، FLOPS 2008 ، Ise ، ژاپن ، 14-16 آوریل ، 2008. مجموعه مقالات

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

مشخصات کتاب

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 4989 : Programming and Software Engineering 
ISBN (شابک) : 3540789685, 9783540789680 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 346 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 52,000



کلمات کلیدی مربوط به کتاب برنامه نویسی کاربردی و منطقی: نهمین سمپوزیوم بین المللی ، FLOPS 2008 ، Ise ، ژاپن ، 14-16 آوریل ، 2008. مجموعه مقالات: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی کاربردی و منطقی: نهمین سمپوزیوم بین المللی ، FLOPS 2008 ، Ise ، ژاپن ، 14-16 آوریل ، 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی کاربردی و منطقی: نهمین سمپوزیوم بین المللی ، FLOPS 2008 ، Ise ، ژاپن ، 14-16 آوریل ، 2008. مجموعه مقالات



این کتاب مجموعه مقالات داوری نهمین سمپوزیوم بین المللی برنامه نویسی عملکردی و منطقی، FLOPS 2008، در ایسه، ژاپن، در آوریل 2008 برگزار شد.

20 مقاله کامل اصلاح شده همراه با 3 مورد دعوت ارائه شده مشارکت ها به دقت بررسی و از بین 59 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد محدودیت ها، محاسبات سازنده، انواع وابسته، بازنویسی، تبدیل برنامه، منطق و حساب لامبدا، انواع و اشکال زدایی سازماندهی شده اند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008.

The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.



فهرست مطالب

Front Matter....Pages -
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming....Pages 1-2
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory....Pages 3-13
Substructural Type Systems for Program Analysis....Pages 14-14
Integrating Answer Set Reasoning with Constraint Solving Techniques....Pages 15-31
Optimizing Compilation of CHR with Rule Priorities....Pages 32-47
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base....Pages 48-63
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)....Pages 64-80
On-Demand Refinement of Dependent Types....Pages 81-96
Proving Properties about Lists Using Containers....Pages 97-112
Termination of Narrowing in Left-Linear Constructor Systems....Pages 113-129
Complexity Analysis by Rewriting....Pages 130-146
Rewriting and Call-Time Choice: The HO Case....Pages 147-162
Semantics and Pragmatics of New Shortcut Fusion Rules....Pages 163-179
A Generalization of the Folding Rule for the Clark-Kunen Semantics....Pages 180-194
Types for Hereditary Head Normalizing Terms....Pages 195-209
A New Translation for Semi-classical Theories — Backtracking without CPS....Pages 210-223
Undoing Dynamic Typing (Declarative Pearl)....Pages 224-238
Typed Dynamic Control Operators for Delimited Continuations....Pages 239-254
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types....Pages 255-271
Quantitative Logic Programming Revisited....Pages 272-288
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation....Pages 289-304
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming....Pages 305-321
EasyCheck — Test Data for Free....Pages 322-336
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی