دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Germán Vidal (auth.), Danny De Schreye (eds.) سری: Lecture Notes in Computer Science 6037 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642125911, 3642125913 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 214 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل نوزدهمین سمپوزیوم بین‌المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2009، که در کویمبرا، پرتغال، طی 9 تا 11 سپتامبر 2009 برگزار شد. 14 مقاله کامل اصلاح شده همراه با یک مقاله ارائه شد سخنرانی دعوت شده به دقت بررسی و برای گنجاندن در کتاب انتخاب شد. LOPSTR به طور سنتی مقالاتی را در زمینه‌های مشخصات، سنتز، تأیید، تبدیل، تجزیه و تحلیل، بهینه‌سازی، ترکیب، امنیت، استفاده مجدد، برنامه‌ها و ابزارها، توسعه نرم‌افزار مبتنی بر مؤلفه، معماری‌های نرم‌افزار، توسعه نرم‌افزار مبتنی بر عامل، و اصلاح برنامه‌ها درخواست می‌کند.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
فهرست مطالب
Front Matter....Pages -
Towards Scalable Partial Evaluation of Declarative Programs....Pages 1-4
Deciding Full Branching Time Logic by Program Transformation....Pages 5-21
A Transformational Approach for Proving Properties of the CHR Constraint Store....Pages 22-36
The Dependency Triple Framework for Termination of Logic Programs....Pages 37-51
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing....Pages 52-66
LP with Flexible Grouping and Aggregates Using Modes....Pages 67-81
On Inductive and Coinductive Proofs via Unfold/Fold Transformations....Pages 82-96
Coinductive Logic Programming with Negation....Pages 97-112
Refining Exceptions in Four-Valued Logic....Pages 113-127
Towards a Framework for Constraint-Based Test Case Generation....Pages 128-142
Using Rewrite Strategies for Testing BUpL Agents....Pages 143-157
Towards Just-In-Time Partial Evaluation of Prolog....Pages 158-172
Program Parallelization Using Synchronized Pipelining....Pages 173-187
Defining Datalog in Rewriting Logic....Pages 188-204
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب LOGIDATA+: Deductive Databases with Complex Objects
دانلود کتاب Practical IDL programming: creating effective data analysis and visualization applications
دانلود کتاب Implementing Splunk: Big Data Reporting and Development for Operational Intelligence
دانلود کتاب The Algorithms and Principles of Non-photorealistic Graphics: Artistic Rendering and Cartoon Animation
دانلود کتاب Active Mining: Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers
دانلود کتاب Visual Information Systems
دانلود کتاب Elements of information theory
دانلود کتاب IT Inventory and Resource Management with OCS Inventory NG 1.02
