دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات
مشخصات کتاب
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Manuvir Das (auth.), Kwangkeun Yi (eds.) سری: Lecture Notes in Computer Science 4134 : Programming and Software Engineering ISBN (شابک) : 3540377565, 9783540377566 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 453 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین سمپوزیوم بین المللی آنالیز استاتیک، SAS 2006 است که در سئول، کره در آگوست 2006 برگزار شد.
23 مقاله کامل اصلاح شده ارائه شده است. به همراه چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 80 مورد ارسالی انتخاب شد. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله تأیید برنامه و سیستم، تجزیه و تحلیل شکل و منطق، تجزیه و تحلیل خاتمه، تشخیص اشکال، بهینه سازی کامپایلر، نگهداری نرم افزار، امنیت و ایمنی، تفسیر و الگوریتم های انتزاعی، ساختارهای دامنه و داده انتزاعی، تجزیه و تحلیل اشاره گر، شکل می پردازند. تجزیه و تحلیل، و تجزیه و تحلیل جریان داده ها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006, held in Seoul, Korea in August 2006.
The 23 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
فهرست مطالب
Front Matter....Pages -
Unleashing the Power of Static Analysis....Pages 1-2
Static Analysis in Disjunctive Numerical Domains....Pages 3-17
Static Analysis of Numerical Algorithms....Pages 18-34
Static Analysis of String Manipulations in Critical Embedded C Programs....Pages 35-51
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures....Pages 52-70
Structural Invariants....Pages 71-87
Existential Label Flow Inference Via CFL Reachability....Pages 88-106
Abstract Interpretation with Specialized Definitions....Pages 107-126
Underapproximating Predicate Transformers....Pages 127-143
Combining Widening and Acceleration in Linear Relation Analysis....Pages 144-160
Beyond Iteration Vectors: Instancewise Relational Abstract Domains....Pages 161-180
Separation Logic and Program Analysis....Pages 181-181
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic....Pages 182-203
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding....Pages 204-220
Recency-Abstraction for Heap-Allocated Storage....Pages 221-239
Interprocedural Shape Analysis with Separated Heap Abstractions....Pages 240-260
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm....Pages 261-279
Shape Analysis for Low-Level Code....Pages 280-280
Catching and Identifying Bugs in Register Allocation....Pages 281-300
Certificate Translation for Optimizing Compilers....Pages 301-317
Analysis of Low-Level Code Using Cooperating Decompilers....Pages 318-335
Static Analysis for Java Servlets and JSP....Pages 336-352
Cryptographically-Masked Flows....Pages 353-369
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems....Pages 370-386
Parametric and Termination-Sensitive Control Dependence....Pages 387-404
Memory Leak Analysis by Contradiction....Pages 405-424
Path-Sensitive Dataflow Analysis with Iterative Refinement....Pages 425-442
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS’98 Nagano, Japan, November 4–6, 1998 Selected Papers
دانلود کتاب Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
دانلود کتاب Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
دانلود کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
دانلود کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
دانلود کتاب Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
دانلود کتاب ECAI 2006, 17th European Conference on Artificial Intelligence
دانلود کتاب Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
دانلود کتاب Advances in Computing and Information — ICCI '90: International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings
