دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Kenneth L. McMillan (auth.), Eran Yahav (eds.) سری: Lecture Notes in Computer Science 6887 Programming and Software Engineering ISBN (شابک) : 9783642237027, 3642237029 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 396 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: هجدهمین سمپوزیوم بین المللی ، SAS 2011 ، ونیز ، ایتالیا ، 14-16 سپتامبر ، 2011. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: هجدهمین سمپوزیوم بین المللی ، SAS 2011 ، ونیز ، ایتالیا ، 14-16 سپتامبر ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هجدهمین سمپوزیوم بینالمللی تحلیل استاتیک، SAS 2011 است که در ونیز، ایتالیا، در سپتامبر 2011 برگزار شد.
22 مقاله کامل اصلاحشده از 67 مقاله انتخاب شدند. ارسالی ها همچنین در این مجلد، چکیده سخنرانی های دعوت شده که در سمپوزیوم توسط صاحب نظران صاحب نام این حوزه ارائه شده است، گنجانده شده است. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک، از جمله دامنه های انتزاعی، تفسیر انتزاعی، آزمایش انتزاعی، تجزیه و تحلیل جریان داده، تشخیص اشکال، تبدیل برنامه، تأیید برنامه، تجزیه و تحلیل امنیتی و بررسی نوع می پردازند.
This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.
The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
Front Matter....Pages -
Widening and Interpolation....Pages 1-1
Program Analysis and Machine Learning: A Win-Win Deal....Pages 2-3
Program Analysis for Web Security....Pages 4-4
Astrée: Design and Experience....Pages 5-5
Formal Model Reduction....Pages 6-6
Purity Analysis: An Abstract Interpretation Formulation....Pages 7-24
The Complexity of Abduction for Separated Heap Abstractions....Pages 25-42
Efficient Decision Procedures for Heaps Using STRAND....Pages 43-59
The Flow-Insensitive Precision of Andersen’s Analysis in Practice....Pages 60-76
Side-Effect Analysis of Assembly Code....Pages 77-94
Directed Symbolic Execution....Pages 95-111
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation....Pages 112-128
On Sequentializing Concurrent Programs....Pages 129-145
Verifying Fence Elimination Optimisations....Pages 146-162
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs....Pages 163-179
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs....Pages 180-197
Abstract Domains of Affine Relations....Pages 198-215
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations....Pages 216-232
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs....Pages 233-248
Invisible Invariants and Abstract Interpretation....Pages 249-262
An Abstraction-Refinement Framework for Trigger Querying....Pages 263-279
Bound Analysis of Imperative Programs with the Size-Change Abstraction....Pages 280-297
Satisfiability Modulo Recursive Programs....Pages 298-315
Probabilistically Accurate Program Transformations....Pages 316-333
Probabilistic Abstractions with Arbitrary Domains....Pages 334-350
Software Verification Using k -Induction....Pages 351-368
Using Bounded Model Checking to Focus Fixpoint Iterations....Pages 369-385
Back Matter....Pages -