دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی ، SAS 2008 ، والنسیا ، اسپانیا ، 16-18 ژوئیه ، 2008. مجموعه مقالات
مشخصات کتاب
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
ویرایش: 1 نویسندگان: Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.) سری: Lecture Notes in Computer Science 5079 Programming and Software Engineering ISBN (شابک) : 9783540691631, 9783540691662 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 387 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 70,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی ، SAS 2008 ، والنسیا ، اسپانیا ، 16-18 ژوئیه ، 2008. مجموعه مقالات: زبان های برنامه نویسی، کامپایلر، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی ، SAS 2008 ، والنسیا ، اسپانیا ، 16-18 ژوئیه ، 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: پانزدهمین سمپوزیوم بین المللی ، SAS 2008 ، والنسیا ، اسپانیا ، 16-18 ژوئیه ، 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین سمپوزیوم بینالمللی تحلیل استاتیک، SAS 2008 است که در والنسیا، اسپانیا در ژوئیه 2008 برگزار شد - همزمان با LOPSTR 2008، سمپوزیوم بینالمللی سنتز برنامههای مبتنی بر منطق و Transformation، PPDP 2008، سمپوزیوم بین المللی ACM SIGPLAN در مورد اصول و تمرین برنامه نویسی اعلانی، و PLID 2008، کارگاه بین المللی در مورد تداخل و وابستگی زبان برنامه نویسی.
22 مورد تجدید نظر کامل مقالات ارائه شده همراه با دو سخنرانی دعوت شده به دقت بررسی و از بین 63 مورد ارسالی انتخاب شدند. این مقالات به تمام جنبه های تحلیل استاتیک از جمله حوزه های انتزاعی، تفسیر انتزاعی، آزمایش انتزاعی، بهینه سازی کامپایلر، تجزیه و تحلیل جریان کنترل، تجزیه و تحلیل جریان داده، بررسی مدل، تخصص برنامه، تجزیه و تحلیل امنیتی، چارچوب های تحلیل نظری، تجزیه و تحلیل مبتنی بر نوع، و سیستم های تأیید می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.
The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
فهرست مطالب
Front Matter....Pages -
Transforming Abstract Interpretations by Abstract Interpretation....Pages 1-17
Reflections on the Role of Static Analysis in Cooperative Bug Isolation....Pages 18-31
Relational Analysis of Correlation....Pages 32-46
Convex Hull of Arithmetic Automata....Pages 47-61
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors....Pages 62-77
Protocol Inference Using Static Path Profiles....Pages 78-92
Solving Multiple Dataflow Queries Using WPDSs....Pages 93-109
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA....Pages 110-127
Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs....Pages 128-143
On Polymorphic Recursion, Type Systems, and Abstract Interpretation....Pages 144-158
Modal Abstractions of Concurrent Behaviour....Pages 159-173
Hiding Software Watermarks in Loop Structures....Pages 174-188
Inferring Min and Max Invariants Using Max-Plus Polyhedra....Pages 189-204
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors....Pages 205-220
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis....Pages 221-237
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement....Pages 238-254
Flow Analysis, Linearity, and PTIME....Pages 255-269
Quantum Entanglement Analysis Based on Abstract Interpretation....Pages 270-282
Language Strength Reduction....Pages 283-298
Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ ....Pages 299-314
Splitting the Control Flow with Boolean Flags....Pages 315-331
Reasoning about Control Flow in the Presence of Transient Faults....Pages 332-346
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation....Pages 347-362
Heap Decomposition for Concurrent Shape Analysis....Pages 363-377
Back Matter....Pages -
