دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیستمین سمپوزیوم بین المللی ، LOPSTR 2010 ، هاگنبرگ ، اتریش ، 23-25 ژوئیه 2010 ، نسخه های تجدید نظر شده
مشخصات کتاب
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ویرایش: 1 نویسندگان: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.) سری: Lecture Notes in Computer Science 6564 ISBN (شابک) : 9783642205507, 364220550X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 258 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب سنتز و تحول برنامه مبتنی بر منطق: بیستمین سمپوزیوم بین المللی ، LOPSTR 2010 ، هاگنبرگ ، اتریش ، 23-25 ژوئیه 2010 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، الگوریتم ها
در صورت تبدیل فایل کتاب Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سنتز و تحول برنامه مبتنی بر منطق: بیستمین سمپوزیوم بین المللی ، LOPSTR 2010 ، هاگنبرگ ، اتریش ، 23-25 ژوئیه 2010 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سنتز و تحول برنامه مبتنی بر منطق: بیستمین سمپوزیوم بین المللی ، LOPSTR 2010 ، هاگنبرگ ، اتریش ، 23-25 ژوئیه 2010 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل بیستمین سمپوزیوم بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2010، برگزار شده در هاگنبرگ، اتریش در ژوئیه 2010 است. 13 مقاله کامل اصلاح شده همراه با دو مقاله دعوت شده ارائه شد. از بین 26 مورد ارسالی به دقت بررسی و انتخاب شد. از جمله موضوعات تحت پوشش عبارتند از مشخصات، ترکیب، تأیید، تجزیه و تحلیل، بهینه‌سازی، تخصصی‌سازی، امنیت، صدور گواهینامه، برنامه‌ها و ابزارها، دستکاری برنامه/مدل، و تکنیک‌های تبدیل برای هر پارادایم زبان برنامه‌نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
فهرست مطالب
Front Matter....Pages -
Three Syntactic Theories for Combinatory Graph Reduction....Pages 1-20
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System....Pages 21-36
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System....Pages 37-51
Graph Generation to Statically Represent CSP Processes....Pages 52-66
Verification of the Schorr-Waite Algorithm – From Trees to Graphs....Pages 67-83
MikiBeta : A General GUI Library for Visualizing Proof Trees....Pages 84-98
Compositional CLP-Based Test Data Generation for Imperative Languages....Pages 99-116
On Inductive Proofs by Extended Unfold/Fold Transformation Rules....Pages 117-132
Non-termination Analysis of Logic Programs Using Types....Pages 133-148
Scaling Up Algorithmic Debugging with Virtual Execution Trees....Pages 149-163
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation....Pages 164-183
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut....Pages 184-199
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs....Pages 200-214
Abstract Diagnosis of First Order Functional Logic Programs....Pages 215-233
The First-Order Nominal Link....Pages 234-248
Back Matter....Pages -
