دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
دانلود کتاب سنتز و تبدیل برنامه منطقی: پنجمین کارگاه بین المللی، LOPSTR'95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات
مشخصات کتاب
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: Michael Leuschel (auth.), Maurizio Proietti (eds.) سری: Lecture Notes in Computer Science 1048 ISBN (شابک) : 3540609393, 9783540609391 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 274 [278] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تبدیل برنامه منطقی: پنجمین کارگاه بین المللی، LOPSTR'95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تبدیل برنامه منطقی: پنجمین کارگاه بین المللی، LOPSTR'95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کارگاه بین‌المللی سنتز و
تبدیل برنامه منطقی، LOPSTR'95 است که در سپتامبر 1995 در
اوترخت، هلند برگزار شد.
19 مقاله ارائه شده از 40 کارگاه ارسالی انتخاب شدند. آنها یک
گزارش منحصر به فرد به روز از استفاده از سنتز رسمی و تکنیک های
تبدیل برای توسعه برنامه های منطقی به کمک رایانه ارائه می
دهند. از جمله موضوعاتی که به آنها پرداخته می‌شود، ترکیب
برنامه‌های قیاسی و استقرایی، مدل‌های سنتز مبتنی بر تئوری نوع
سازنده، مشخصات برنامه، تجزیه و تحلیل برنامه، اثبات قضیه، و
کاربرد در انواع مختلف برنامه‌ها است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Workshop on Logic Program Synthesis and
Transformation, LOPSTR'95, held in Utrecht, The Netherlands
in September 1995.
The 19 papers included were selected from 40 workshop
submissions; they offer a unique up-to-date account of the
use of formal synthesis and transformation techniques for
computer-aided development of logic programs. Among the
topics addressed are deductive and inductive program
synthesis, synthesis models based on constructive type
theory, program specification, program analysis, theorem
proving, and applications to various types of programs.
فهرست مطالب
Ecological partial deduction: Preserving characteristic trees without constraints....Pages 1-16
Memoing evaluation by source-to-source transformation....Pages 17-32
Transformation of left terminating programs: The reordering problem....Pages 33-45
Derivation of concurrent algorithms in Tempo....Pages 46-60
An argumentation-theoretic approach to logic program transformation....Pages 61-75
Complexity of Horn programs....Pages 76-90
Studying the cost of logic languages in an abstract interpretation framework for granularity analysis....Pages 91-105
Towards automatic control for CLP(χ) programs....Pages 106-119
Ideal refinement of Datalog programs....Pages 120-136
Guiding program development systems by a connection based proof strategy....Pages 137-151
Towards an object-oriented methodology for deductive synthesis of logic programs....Pages 152-169
Logic program synthesis by induction over Horn Clauses....Pages 170-170
Logic program transformation through generalization schemata [extended abstract]....Pages 171-173
An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations....Pages 174-188
Solving deductive planning problems using program analysis and transformation....Pages 189-203
Towards a complete proof procedure to prove properties of normal logic programs under the completion....Pages 204-218
Termination of logic programs using semantic unification....Pages 219-233
On the mechanics of metasystem hierarchies in program transformation....Pages 234-251
Efficient translation of lazy functional logic programs into Prolog....Pages 252-266
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ultra Wideband Signals and Systems in Communication Engineering
دانلود کتاب In the Wrong Place - Alien Marine Crustaceans: Distribution, Biology and Impacts
دانلود کتاب Industrial Internet
دانلود کتاب Global forum on transparency and exchange of information for tax purposes peer reviews. Curaçao 2015 : phase 2: implementation of the standard in practice.
