ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

دانلود کتاب سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR'96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

مشخصات کتاب

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 1207 
ISBN (شابک) : 3540627189, 9783540627180 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1997 
تعداد صفحات: 333 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 18 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR'96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سنتز و تحول برنامه منطقی: ششمین کارگاه بین المللی، LOPSTR'96 استکهلم، سوئد، 28 تا 30 اوت، 1996 مجموعه مقالات



این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه بین المللی سنتز و تبدیل برنامه منطقی، LOPSTR'96 است که در کشتی در حال حرکت از استکهلم به هلسینکی، در اوت 1996 برگزار شد.
17 مورد تجدید نظر شده مقالات کامل از مجموع 27 مقاله ارسالی اولیه با دقت انتخاب شدند. موضوعات دربرگیرنده حوزه‌های ترکیب برنامه‌ها از مشخصات، تأیید، تغییر شکل، تخصصی‌سازی و تحلیل برنامه‌ها و استفاده از طرح‌واره‌های برنامه در توسعه برنامه است.


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

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.



فهرست مطالب

Refining specifications to logic programs....Pages 1-19
Symbolic verification with gap-order constraints....Pages 20-37
Specification-based automatic verification of Prolog programs....Pages 38-57
Logic program specialisation: How to be more specific....Pages 58-58
Conjunctive partial deduction in practice....Pages 59-82
Redundant argument filtering of logic programs....Pages 83-103
Replacement can preserve termination....Pages 104-129
A transformation tool for pure Prolog programs....Pages 130-145
Enhancing partial deduction via unfold/fold rules....Pages 146-168
Abstract specialization and its application to program parallelization....Pages 169-186
Reductions of petri nets and unfolding of propositional logic programs....Pages 187-203
Inferring argument size relationships with CLP( $$\\mathcal{R}$$ )....Pages 204-223
Typed norms for typed logic programs....Pages 224-238
Partial deduction in the framework of structural synthesis of programs....Pages 239-255
Extensible logic program schemata....Pages 256-274
Specialising meta-level compositions of logic programs....Pages 275-294
Forms of logic specifications: A preliminary study....Pages 295-312
Synthesis of proof procedures for default reasoning....Pages 313-324




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

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