دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ویرایش: 1 نویسندگان: John P. Gallagher (auth.), Germán Vidal (eds.) سری: Lecture Notes in Computer Science 7225 ISBN (شابک) : 9783642322105, 9783642322112 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 261 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده: تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات بیست و یکمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2011 است که در ژوئیه 2011 در اودنسه، دانمارک برگزار شد. 6 مقاله کامل اصلاح شده ارائه شده همراه با 8 مقاله دیگر با دقت بررسی شدند و از بین 28 مورد ارسالی انتخاب شد. از جمله موضوعات تحت پوشش عبارتند از مشخصات، ترکیب، تأیید، تجزیه و تحلیل، بهینه‌سازی، تخصصی‌سازی، امنیت، گواهینامه، برنامه‌ها و ابزارها، دستکاری برنامه/مدل، و تکنیک‌های تبدیل برای هر پارادایم زبان برنامه‌نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
فهرست مطالب
Front Matter....Pages -
Analysis of Logic Programs Using Regular Tree Languages....Pages 1-3
Dynamic Symbolic Computation for Domain-Specific Language Implementation....Pages 4-24
Resource-Driven CLP-Based Test Case Generation....Pages 25-41
A Declarative Embedding of XQuery in a Functional-Logic Language....Pages 42-56
Automata-Based Computation of Temporal Equilibrium Models....Pages 57-72
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees....Pages 73-89
Clones in Logic Programs and How to Detect Them....Pages 90-105
Using Real Relaxations during Program Specialization....Pages 106-122
Marker-Directed Optimization of UnCAL Graph Transformations....Pages 123-138
Modular Extensions for Modular (Logic) Languages....Pages 139-154
Meta-predicate Semantics....Pages 155-172
A Strategy Language for Graph Rewriting....Pages 173-188
Improved Termination Analysis of CHR Using Self-sustainability Analysis....Pages 189-204
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations....Pages 205-220
Probabilistic Termination of CHRiSM Programs....Pages 221-236
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog ....Pages 237-252
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Emergent Firm: Knowledge, Ignorance and Surprise in Economic Organisation
دانلود کتاب Cyclotomic Fields I and II
دانلود کتاب DeathQuest 3: An Introduction to the Theory and Practice of Capital Punishment in the United States
دانلود کتاب The quotable Hitchens: from alcohol to Zionism
