دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: نوزدهمین سمپوزیوم بین المللی ، SAS 2012 ، دوویل ، فرانسه ، 11-13 سپتامبر 2012. مجموعه مقالات
مشخصات کتاب
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
ویرایش: 1 نویسندگان: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.) سری: Lecture Notes in Computer Science 7460 : Programming and Software Engineering ISBN (شابک) : 9783642331244, 9783642331251 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: نوزدهمین سمپوزیوم بین المللی ، SAS 2012 ، دوویل ، فرانسه ، 11-13 سپتامبر 2012. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: نوزدهمین سمپوزیوم بین المللی ، SAS 2012 ، دوویل ، فرانسه ، 11-13 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: نوزدهمین سمپوزیوم بین المللی ، SAS 2012 ، دوویل ، فرانسه ، 11-13 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات نوزدهمین سمپوزیوم بین‌المللی تحلیل استاتیک، SAS 2012، که در سپتامبر 2012 در دوویل، فرانسه برگزار شد، است. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک، از جمله حوزه های انتزاعی، تفسیر انتزاعی، آزمایش انتزاعی، تشخیص اشکال، تجزیه و تحلیل جریان داده، بررسی مدل، برنامه های کاربردی جدید، تبدیل برنامه، تأیید برنامه، تجزیه و تحلیل امنیتی، چارچوب های نظری، و بررسی نوع می پردازند. p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including 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 -
Computer-Aided Cryptographic Proofs....Pages 1-2
A Voyage to the Deep-Heap....Pages 3-3
Semantics and Analyses for JavaScript and the Web....Pages 4-4
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism....Pages 5-23
Modular Static Analysis with Zonotopes....Pages 24-40
Polyhedral Analysis Using Parametric Objectives....Pages 41-57
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases....Pages 58-74
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions....Pages 75-93
An Abstract Domain to Infer Types over Zones in Spreadsheets....Pages 94-110
Bilateral Algorithms for Symbolic Abstraction....Pages 111-128
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation....Pages 129-145
Invariant Generation for Parametrized Systems Using Self-reflection....Pages 146-163
Automatic Fence Insertion in Integer Programs via Predicate Abstraction....Pages 164-180
Control Flow Analysis for the Join Calculus....Pages 181-197
When the Decreasing Sequence Fails....Pages 198-213
Loop Leaping with Closures....Pages 214-230
Path-Sensitive Backward Slicing....Pages 231-247
Symbolic Learning of Component Interfaces....Pages 248-264
Liveness-Based Pointer Analysis....Pages 265-282
Succinct Representations for Abstract Interpretation....Pages 283-299
Craig Interpretation....Pages 300-316
Satisfiability Solvers Are Static Analysers....Pages 317-333
A Generalization of Stålmarck’s Method....Pages 334-351
A Structural Soundness Proof for Shivers’s Escape Technique....Pages 352-369
Modular Heap Analysis for Higher-Order Programs....Pages 370-387
Binary Reachability Analysis of Higher Order Functional Programs....Pages 388-404
On the Limits of the Classical Approach to Cost Analysis....Pages 405-421
Termination Proofs for Linear Simple Loops....Pages 422-438
Finding Non-terminating Executions in Distributed Asynchronous Programs....Pages 439-455
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Palaeogeography and palaeobiogeography : biodiversity in space and time
دانلود کتاب Sierra summits: a guide to fifty peak experiences in California's range of light
