دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و پنجمین سمپوزیوم بین المللی، LOPSTR 2015، سیهنا، ایتالیا، 13 تا 15 ژوئیه، 2015. مقالات منتخب اصلاح شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
ویرایش: 1
نویسندگان: Moreno Falaschi (eds.)
سری: Lecture Notes in Computer Science 9527
ISBN (شابک) : 9783319274355, 9783319274362
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 384
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و پنجمین سمپوزیوم بین المللی، LOPSTR 2015، سیهنا، ایتالیا، 13 تا 15 ژوئیه، 2015. مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و پنجمین سمپوزیوم بین المللی، LOPSTR 2015، سیهنا، ایتالیا، 13 تا 15 ژوئیه، 2015. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و پنجمین سمپوزیوم بین المللی، LOPSTR 2015، سیهنا، ایتالیا، 13 تا 15 ژوئیه، 2015. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل بیست و پنجمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2015 است که در ژوئیه 2015 در سینا، ایتالیا برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شدند. هدف از سری LOPSTR تحریک و ترویج تحقیقات بین المللی و همکاری در توسعه برنامه های مبتنی بر منطق است. LOPSTR برای مشارکت در همه جنبه های توسعه برنامه مبتنی بر منطق، تمام مراحل چرخه عمر نرم افزار، و مسائل مربوط به برنامه نویسی در کوچک و برنامه نویسی در بزرگ باز است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.
The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
فهرست مطالب
Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Proof Checking and Logic Programming....Pages 3-17
Front Matter....Pages 19-19
On Dual Programs in Co-Logic Programming....Pages 21-35
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras....Pages 36-53
Front Matter....Pages 55-55
Compiling Collapsing Rules in Certain Constructor Systems....Pages 57-72
From Boolean Equalities to Constraints....Pages 73-88
Front Matter....Pages 89-89
A Type-Theoretic Approach to Resolution....Pages 91-106
A Typed Language for Events....Pages 107-123
Front Matter....Pages 125-125
Applying Sorting Networks to Synthesize Optimized Sorting Libraries....Pages 127-142
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods....Pages 143-160
Front Matter....Pages 161-161
A Global Occurrence Counting Analysis for Brane Calculi....Pages 163-178
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis....Pages 179-200
Front Matter....Pages 201-217
Checking Java Assertions Using Automated Test-Case Generation....Pages 219-219
A Generic Intermediate Representation for Verification Condition Generation....Pages 221-226
Combining Top-Down and Bottom-Up Techniques in Program Derivation....Pages 227-243
Front Matter....Pages 244-258
A Generalized Model for Algorithmic Debugging....Pages 259-259
Concolic Execution in Functional Programming by Program Instrumentation....Pages 261-276
Memory Policy Analysis for Semantics Specifications in Maude....Pages 277-292
Front Matter....Pages 293-310
SHIP - A Logic-Based Language and Tool to Program Smart Environments....Pages 311-311
Front Matter....Pages 313-328
Correctness of Context-Moving Transformations for Term Rewriting Systems....Pages 329-329
Front Matter....Pages 331-345
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges....Pages 347-347
CHR in Action....Pages 349-364
Back Matter....Pages 365-383
....Pages 385-385
