دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و دومین سمپوزیوم بین المللی ، LOPSTR 2012 ، لوون ، بلژیک ، 18-20 سپتامبر 2012 ، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ویرایش: 1 نویسندگان: Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (eds.) سری: Lecture Notes in Computer Science 7844 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642381966, 9783642381973 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 252 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و دومین سمپوزیوم بین المللی ، LOPSTR 2012 ، لوون ، بلژیک ، 18-20 سپتامبر 2012 ، مقالات منتخب تجدید نظر شده: تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و دومین سمپوزیوم بین المللی ، LOPSTR 2012 ، لوون ، بلژیک ، 18-20 سپتامبر 2012 ، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و دومین سمپوزیوم بین المللی ، LOPSTR 2012 ، لوون ، بلژیک ، 18-20 سپتامبر 2012 ، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس بیست و دومین سمپوزیوم
بین‌المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2012 است
که در سپتامبر 2012 در لوون، بلژیک برگزار شد.
13 مقاله کامل اصلاح شده همراه با 2 گفتگوی دعوت شده به دقت
بررسی و از بین 27 مورد ارسالی انتخاب شدند. از جمله موضوعات
تحت پوشش عبارتند از مشخصات، ترکیب، تأیید، تجزیه و تحلیل،
بهینه‌سازی، تخصصی‌سازی، امنیت، صدور گواهینامه، برنامه‌ها و
ابزارها، دستکاری برنامه/مدل، و تکنیک‌های تبدیل برای هر
پارادایم زبان برنامه‌نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference
proceedings of the 22nd International Symposium on
Logic-Based Program Synthesis and Transformation, LOPSTR
2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited
talks were carefully reviewed and selected from 27
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 -
Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs....Pages 1-1
An Introduction to Search Combinators....Pages 2-16
A Declarative Pipeline Language for Complex Data Analysis....Pages 17-34
Semantic Code Clones in Logic Programs....Pages 35-50
Specialization with Constrained Generalization for Software Model Checking....Pages 51-70
Enhancing Declarative Debugging with Loop Expansion and Tree Compression....Pages 71-88
XACML 3.0 in Answer Set Programming....Pages 89-105
Types vs. PDGs in Information Flow Analysis....Pages 106-121
Galliwasp: A Goal-Directed Answer Set Solver....Pages 122-136
Computing More Specific Versions of Conditional Rewriting Systems....Pages 137-154
Improving Determinization of Grammar Programs for Program Inversion....Pages 155-175
A Framework for Guided Test Case Generation in Constraint Logic Programming....Pages 176-193
Simplifying the Verification of Quantified Array Assertions via Code Transformation....Pages 194-212
Proving Properties of Co-logic Programs with Negation by Program Transformations....Pages 213-227
Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning....Pages 228-243
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ceramics science and technology. / Vol. 3, Synthesis and processing
دانلود کتاب Reasonable basic algebra
دانلود کتاب Грамматика общения
