دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 آگوست 2004، مقالات منتخب اصلاح شده
مشخصات کتاب
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
ویرایش: 1 نویسندگان: Wim Vanhoof (auth.), Sandro Etalle (eds.) سری: Lecture Notes in Computer Science 3573 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540266556, 9783540316831 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 286 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 آگوست 2004، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 آگوست 2004، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages -
Searching Semantically Equivalent Code Fragments in Logic Programs....Pages 1-18
Determinacy Analysis for Logic Programs Using Mode and Type Information....Pages 19-35
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs....Pages 36-52
Fully Automatic Binding-Time Analysis for Prolog....Pages 53-68
Logical Mobility and Locality Types....Pages 69-84
Unwinding Conditions for Security in Imperative Languages....Pages 85-100
Natural Rewriting for General Term Rewriting Systems....Pages 101-116
Negation Elimination for Finite PCFGs....Pages 117-132
Specialization of Concurrent Guarded Multi-set Transformation Rules....Pages 133-148
Efficient Local Unfolding with Ancestor Stacks for Full Prolog....Pages 149-165
Schema-Guided Synthesis of Imperative Programs by Constraint Solving....Pages 166-181
Run-Time Profiling of Functional Logic Programs....Pages 182-197
Constructive Specifications for Compositional Units....Pages 198-214
Input-Termination of Logic Programs....Pages 215-230
On Termination of Binary CLP Programs....Pages 231-244
From Natural Semantics to Abstract Machines....Pages 245-261
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis....Pages 262-277
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
