دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
دانلود کتاب سنتز و تغییر برنامه منطقی: دوازدهمین کارگاه بین المللی ، LOPSTR 2002 ، مادرید ، اسپانیا ، 17 تا 20 سپتامبر 2002.
مشخصات کتاب
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
ویرایش: 1 نویسندگان: María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.) سری: Lecture Notes in Computer Science 2664 ISBN (شابک) : 9783540404385, 9783540450139 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 289 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تغییر برنامه منطقی: دوازدهمین کارگاه بین المللی ، LOPSTR 2002 ، مادرید ، اسپانیا ، 17 تا 20 سپتامبر 2002. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تغییر برنامه منطقی: دوازدهمین کارگاه بین المللی ، LOPSTR 2002 ، مادرید ، اسپانیا ، 17 تا 20 سپتامبر 2002.
این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کارگاه بین المللی سنتز و تبدیل برنامه مبتنی بر منطق، LOPSTR 2002، در مادرید، اسپانیا در سپتامبر 2002 است.
15 مقاله کامل اصلاح شده ارائه شده همراه با 7 چکیده به دقت طی دو دور بررسی و بازبینی از 40 مقاله ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد اشکال‌زدایی و انواع، جدول‌بندی و محدودیت‌ها، تفسیر انتزاعی، اصلاح برنامه، تأیید، ارزیابی جزئی، و بازنویسی و توسعه شی‌گرا سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.
The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
فهرست مطالب
Abstract Diagnosis of Functional Programs....Pages 1-16
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene....Pages 17-31
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming....Pages 32-47
Translating Datalog-Like Optimization Queries into ILOG Programs....Pages 48-49
Tabling Structures for Bottom-Up Logic Programming....Pages 50-51
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties....Pages 52-70
Two Variables per Linear Inequality as an Abstract Domain....Pages 71-89
Convex Hull Abstractions in Specialization of CLP Programs....Pages 90-108
Collecting Potential Optimisations....Pages 109-110
An Operational Approach to Program Extraction in the Calculus of Constructions....Pages 111-125
Refinement of Higher-Order Logic Programs....Pages 126-143
A Generic Program for Minimal Subsets with Applications....Pages 144-157
Justification Based on Program Transformation....Pages 158-159
Combining Logic Programs and Monadic Second Order Logics by Program Transformation....Pages 160-181
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers....Pages 182-198
A Proof System for Information Flow Security....Pages 199-218
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation....Pages 219-237
A Fixed Point Semantics for Logic Programs Extended with Cuts....Pages 238-257
Abstract Partial Deduction Challenged....Pages 258-259
Towards Correct Object-Oriented Design Frameworks in Computational Logic....Pages 260-261
Mapping Modular SOS to Rewriting Logic....Pages 262-277
Program Synthesis Based on the Equivalent Transformation Computation Model....Pages 278-279
