دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17-18 ژوئیه 2008 ، نسخه های تجدید نظر شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
دسته بندی: منطق ویرایش: 1 نویسندگان: Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.) سری: Lecture Notes in Computer Science 5438 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642005144, 9783642005145 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 192 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17-18 ژوئیه 2008 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، الگوریتم ها
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17-18 ژوئیه 2008 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17-18 ژوئیه 2008 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هجدهمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2008، در والنسیا، اسپانیا، در 17 تا 18 جولای 2008 است.
11 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده به دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. LOPSTR به طور سنتی مقالاتی را در زمینه‌های مشخصات، سنتز، تأیید، تبدیل، تجزیه و تحلیل، بهینه‌سازی، ترکیب، امنیت، استفاده مجدد، برنامه‌ها و ابزارها، توسعه نرم‌افزار مبتنی بر مؤلفه، معماری‌های نرم‌افزار، توسعه نرم‌افزار مبتنی بر عامل، و پالایش برنامه درخواست می‌کند. /P>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.
The 11 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 -
Space Invading Systems Code....Pages 1-3
Test Data Generation of Bytecode by CLP Partial Evaluation....Pages 4-23
A Modular Equational Generalization Algorithm....Pages 24-39
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs....Pages 40-54
Analysis of Linear Hybrid Systems in CLP....Pages 55-70
Automatic Generation of Test Inputs for Mercury....Pages 71-86
Analytical Inductive Functional Programming....Pages 87-102
The MEB and CEB Static Analysis for CSP Specifications....Pages 103-118
Fast Offline Partial Evaluation of Large Logic Programs....Pages 119-134
An Inference Algorithm for Guaranteeing Safe Destruction....Pages 135-151
From Monomorphic to Polymorphic Well-Typings and Beyond....Pages 152-167
On Negative Unfolding in the Answer Set Semantics....Pages 168-184
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Moment Analysis for Subsurface Hydrologic Applications
دانلود کتاب Analysis of Wastewater for Use in Agriculture: A Laboratory Manual of Parasitological and Bacteriological Techniques
دانلود کتاب Advances in modal logic
دانلود کتاب Constructible Sets with Applications
دانلود کتاب Errata to A Modern Formal Logic Primer
دانلود کتاب Programmable logic and application specific integrated circuits
دانلود کتاب Understanding Symbolic Logic
دانلود کتاب Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
دانلود کتاب Handbook of Philosophical Logic
