دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: بیست و سومین سمپوزیوم بین المللی ، SAS 2016 ، ادینبورگ ، انگلستان ، 8-10 سپتامبر 2016 ، مجموعه مقالات
مشخصات کتاب
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
ویرایش: 1
نویسندگان: Xavier Rival (eds.)
سری: Lecture Notes in Computer Science 9837
ISBN (شابک) : 9783662534137, 9783662534120
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: 518
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 مگابایت
قیمت کتاب (تومان) : 74,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: بیست و سومین سمپوزیوم بین المللی ، SAS 2016 ، ادینبورگ ، انگلستان ، 8-10 سپتامبر 2016 ، مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: بیست و سومین سمپوزیوم بین المللی ، SAS 2016 ، ادینبورگ ، انگلستان ، 8-10 سپتامبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: بیست و سومین سمپوزیوم بین المللی ، SAS 2016 ، ادینبورگ ، انگلستان ، 8-10 سپتامبر 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS 2016، در ادینبورگ، انگلستان، در سپتامبر 2016 برگزار شد.
21 مقاله ارائه شده در این جلد به دقت بررسی شدند. و از بین 55 مورد ارسالی انتخاب شد. مشارکتها انواع موضوعات چند رشتهای را در حوزههای انتزاعی پوشش میدهند. تفسیر انتزاعی؛ تست انتزاعی؛ تشخیص اشکال؛ تجزیه و تحلیل جریان داده ها؛ بررسی مدل؛ برنامه های جدید؛ تحول برنامه؛ تأیید برنامه؛ تجزیه و تحلیل امنیتی؛ چارچوب های نظری؛ و چک کردن را تایپ کنید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.
The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Simulation and Invariance for Weak Consistency....Pages 3-22
Quantitative Monitor Automata....Pages 23-38
The Julia Static Analyzer for Java....Pages 39-57
Front Matter....Pages 59-59
Automated Verification of Linearization Policies....Pages 61-83
Structure-Sensitive Points-To Analysis for C and C++....Pages 84-104
Bounded Abstract Interpretation....Pages 105-125
Completeness in Approximate Transduction....Pages 126-146
Relational Verification Through Horn Clause Transformation....Pages 147-169
Securing a Compiler Transformation....Pages 170-188
Exploiting Sparsity in Difference-Bound Matrices....Pages 189-211
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs....Pages 212-236
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis....Pages 237-256
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs....Pages 257-277
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis....Pages 278-299
On the Linear Ranking Problem for Simple Floating-Point Loops....Pages 300-316
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM....Pages 317-337
A Parametric Abstract Domain for Lattice-Valued Regular Expressions ....Pages 338-360
Cell Morphing: From Array Programs to Array-Free Horn Clauses....Pages 361-382
Loopy: Programmable and Formally Verified Loop Transformations....Pages 383-402
Abstract Interpretation of Supermodular Games....Pages 403-423
Front Matter....Pages 59-59
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants....Pages 424-446
Enforcing Termination of Interprocedural Analysis....Pages 447-468
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models....Pages 469-488
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting....Pages 489-510
Back Matter....Pages 511-511
