دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
دانلود کتاب سنتز و تبدیل برنامه مبتنی بر منطق: 15 سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
دسته بندی: منطق ویرایش: 1 نویسندگان: François Fages (auth.), Patricia M. Hill (eds.) سری: Lecture Notes in Computer Science 3901 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540326545, 9783540326540 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 186 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب سنتز و تبدیل برنامه مبتنی بر منطق: 15 سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب تجدید نظر شده: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تبدیل برنامه مبتنی بر منطق: 15 سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تبدیل برنامه مبتنی بر منطق: 15 سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل پانزدهمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2005، در لندن، انگلستان در سپتامبر 2005 در ارتباط با SAS 2005، سمپوزیوم در تحلیل ایستا است. P>
10 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده با دقت انتخاب و از بین 33 مورد بازنگری شدند. مقالات در بخش های موضوعی در مورد ابزارهای توسعه برنامه، تحولات برنامه، و توسعه نرم افزار و تجزیه و تحلیل برنامه سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in London, UK in September 2005 in conjunction with SAS 2005, the Symposium on Static Analysis.
The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
فهرست مطالب
Front Matter....Pages -
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM....Pages 1-5
Declarative Programming with Function Patterns....Pages 6-22
Transformational Verification of Parameterized Protocols Using Array Formulas....Pages 23-43
Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language....Pages 44-60
An Algorithm for Local Variable Elimination in Normal Logic Programs....Pages 61-79
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs....Pages 80-97
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives....Pages 98-114
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates....Pages 115-132
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs....Pages 133-146
Converting One Type-Based Abstract Domain to Another....Pages 147-162
Experiments in Context-Sensitive Analysis of Modular Programs....Pages 163-178
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Computing Natural Language
دانلود کتاب Larch: Languages and Tools for Formal Specification
دانلود کتاب Structural Reliabilism: Inductive Logic as a Theory of Justification
دانلود کتاب Lectures on Propositional Logic
دانلود کتاب 数理逻辑
دانلود کتاب Goguen Categories: A Categorical Approach to L-fuzzy Relations
دانلود کتاب The propositional logic of Boethius
دانلود کتاب The foundations of arithmetic
دانلود کتاب Introduction to Higher-Order Categorical Logic
