دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
دانلود کتاب تحلیل استاتیک: بیست و یکمین سمپوزیوم بین المللی ، SAS 2014 ، مونیخ ، آلمان ، 11 تا 13 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
ویرایش: 1
نویسندگان: Markus Müller-Olm. Helmut Seidl (eds.)
سری: Lecture Notes in Computer Science 8723 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319109350, 9783319109367
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 353
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 75,000
کلمات کلیدی مربوط به کتاب تحلیل استاتیک: بیست و یکمین سمپوزیوم بین المللی ، SAS 2014 ، مونیخ ، آلمان ، 11 تا 13 سپتامبر 2014. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحلیل استاتیک: بیست و یکمین سمپوزیوم بین المللی ، SAS 2014 ، مونیخ ، آلمان ، 11 تا 13 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحلیل استاتیک: بیست و یکمین سمپوزیوم بین المللی ، SAS 2014 ، مونیخ ، آلمان ، 11 تا 13 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات بیست و یکمین سمپوزیوم بینالمللی تحلیل استاتیک، SAS 2014، که در سپتامبر 2014 در مونیخ آلمان برگزار شد، تشکیل شده است. . این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک، از جمله تفسیر انتزاعی، آزمایش انتزاعی، تشخیص اشکال، تجزیه و تحلیل جریان داده، بررسی مدل، تبدیل برنامه، تأیید برنامه، تجزیه و تحلیل امنیتی، و بررسی نوع می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
فهرست مطالب
Front Matter....Pages -
Block Me If You Can!....Pages 1-17
Peak Cost Analysis of Distributed Systems....Pages 18-33
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction....Pages 34-50
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications....Pages 51-67
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions....Pages 68-84
Expectation Invariants for Probabilistic Program Loops as Fixed Points....Pages 85-100
An Abstract Domain to Infer Octagonal Constraints with Absolute Value....Pages 101-117
Verifying Recursive Programs Using Intraprocedural Analyzers....Pages 118-133
Automatic Analysis of Open Objects in Dynamic Language Programs....Pages 134-150
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations....Pages 151-167
On Program Equivalence with Reductions....Pages 168-183
A Progress Bar for Static Analyzers....Pages 184-200
Sparse Dataflow Analysis with Pointers and Reachability....Pages 201-218
Reactivity of Cooperative Systems....Pages 219-236
Synthesis of Memory Fences via Refinement Propagation....Pages 237-252
Speeding Up Logico-Numerical Strategy Iteration....Pages 253-267
Cost-Aware Automatic Program Repair....Pages 268-284
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions....Pages 285-301
A Decision Tree Abstract Domain for Proving Conditional Termination....Pages 302-318
Region-Based Selective Flow-Sensitive Pointer Analysis....Pages 319-336
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Pain: New Perspectives in Therapy and Research
دانلود کتاب Social Conditions in Britain 1918-1939 (Lancaster Pamphlets)
