دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: بیست و دومین سمپوزیوم بین المللی، SAS 2015، سن مالو، فرانسه، 9-11 سپتامبر 2015، مجموعه مقالات
مشخصات کتاب
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
ویرایش: 1
نویسندگان: Sandrine Blazy. Thomas Jensen (eds.)
سری: Lecture Notes in Computer Science 9291
ISBN (شابک) : 9783662482872, 9783662482889
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2015
تعداد صفحات: 345
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: بیست و دومین سمپوزیوم بین المللی، SAS 2015، سن مالو، فرانسه، 9-11 سپتامبر 2015، مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: بیست و دومین سمپوزیوم بین المللی، SAS 2015، سن مالو، فرانسه، 9-11 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: بیست و دومین سمپوزیوم بین المللی، SAS 2015، سن مالو، فرانسه، 9-11 سپتامبر 2015، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و دومین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS 2015، برگزار شده در سن مالو، فرانسه، در سپتامبر 2015 است.
18 مقاله ارائه شده در این جلد عبارتند از به دقت بررسی و از بین 44 مورد ارسالی انتخاب شد. تمام زمینه های تجزیه و تحلیل استاتیک به عنوان یک ابزار اساسی برای تأیید برنامه، تشخیص اشکال، بهینه سازی کامپایلر، درک برنامه، و نگهداری نرم افزار پرداخته شده است، که شامل پیشرفت های نظری، عملی و کاربردی در این زمینه است
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.
The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
فهرست مطالب
Front Matter....Pages I-XVI
Static Analysis of Non-interference in Expressive Low-Level Languages....Pages 1-17
Static Analysis with Set-Closure in Secrecy....Pages 18-35
A Binary Decision Tree Abstract Domain Functor....Pages 36-53
Precise Data Flow Analysis in the Presence of Correlated Method Calls....Pages 54-71
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization....Pages 72-89
Shape Analysis for Unstructured Sharing....Pages 90-108
Synthesizing Heap Manipulations via Integer Linear Programming....Pages 109-127
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR....Pages 128-144
Safety Verification and Refutation by k-Invariants and k-Induction....Pages 145-161
Effective Soundness-Guided Reflection Analysis....Pages 162-180
SJS: A Type System for JavaScript with Fixed Object Layout....Pages 181-198
Refinement Type Inference via Horn Constraint Optimization....Pages 199-216
A Simple Abstraction of Arrays and Maps by Program Translation....Pages 217-234
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization....Pages 235-251
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis....Pages 252-274
Parallel Cost Analysis of Distributed Systems....Pages 275-292
A Forward Analysis for Recurrent Sets....Pages 293-311
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration....Pages 312-331
Back Matter....Pages 333-333
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Choteau Creek: A Sioux Reminiscence
دانلود کتاب El poder de los mercados. Claves para entender su mensaje (Spanish Edition)
دانلود کتاب Microwave Component Mechanics
