دانلود کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
کتاب سنتز و تبدیل برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب نسخه زبان اصلی
دانلود کتاب سنتز و تبدیل برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
نام کتاب : Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سنتز و تبدیل برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب
سری : Lecture Notes in Computer Science 2042
نویسندگان : Kung-Kiu Lau (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2001
تعداد صفحات : 191
ISBN (شابک) : 9783540421276 , 3540421270
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مقالات کامل بازبینی شده از دهمین کارگاه بین المللی سنتز و تبدیل برنامه مبتنی بر منطق، LOPSTR 2000، که در ژوئیه سال 2000 در لندن، انگلستان، به عنوان بخشی از کنفرانس بین المللی منطق محاسباتی برگزار شد، ارائه می کند.
10 مقاله کامل بازبینی شده ارائه شده دو دور بررسی، انتخاب و بازنگری را پشت سر گذاشته اند. این کتاب در بخشهای موضوعی سنتز، تبدیل، تحلیل، تخصص و تفسیر انتزاعی تقسیم شده است.
فهرست مطالب :
A Formal Framework for Synthesis and Verification of Logic Programs....Pages 1-17
Protocols between Programs and Proofs....Pages 18-37
A Technique for Modular Logic Program Refinement....Pages 38-56
Higher-Order Transformation of Logic Programs....Pages 57-68
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings....Pages 69-85
A Model for Inter-module Analysis and Optimizing Compilation....Pages 86-102
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages....Pages 103-124
Automated Strategies for Specializing Constraint Logic Programs....Pages 125-146
Measuring the Precision of Abstract Interpretations....Pages 147-164
Specifying Prolog Trace Models with a Continuation Semantics....Pages 165-181
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.
The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
پست ها تصادفی