مشخصات کتاب

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

ویرایش: 1 
نویسندگان: E. Allen Emerson (auth.),  Radhia Cousot,  Matthieu Martel (eds.)  
سری: Lecture Notes in Computer Science 6337 
ISBN (شابک) : 9783642157684, 9783642157691 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 481 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، شبیه سازی و مدل سازی

در صورت تبدیل فایل کتاب Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری شانزدهمین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS 2010، برگزار شده در پرپینیان، فرانسه در سپتامبر 2010 است. SASB 2010 (کارگاه آموزشی تجزیه و تحلیل استاتیک و زیست شناسی سیستم ها) و TAPAS 2010 (ابزارهایی برای تجزیه و تحلیل خودکار برنامه). 22 مقاله کامل اصلاح شده ارائه شده همراه با 4 سخنرانی دعوت شده به دقت بررسی و از بین 58 مورد ارسالی انتخاب شدند. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله دامنه های انتزاعی، تشخیص اشکال، تجزیه و تحلیل جریان داده، برنامه نویسی منطقی، تجزیه و تحلیل سیستم، استنتاج نوع، تجزیه و تحلیل حافظه پنهان، تجزیه و تحلیل جریان، تأیید، آزمایش انتزاعی، بهینه سازی کامپایلر و تأیید برنامه می پردازند.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis). The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

فهرست مطالب

Front Matter....Pages -
Time of Time....Pages 1-1
Static Verification for Code Contracts....Pages 2-5
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework....Pages 6-21
Size-Change Termination and Transition Invariants....Pages 22-50
Using Static Analysis in Space: Why Doing so?....Pages 51-70
Statically Inferring Complex Heap, Array, and Numeric Invariants....Pages 71-99
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis....Pages 100-116
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs....Pages 117-133
Deriving Numerical Abstract Domains via Principal Component Analysis....Pages 134-150
Concurrent Separation Logic for Pipelined Parallelization....Pages 151-166
Automatic Abstraction for Intervals Using Boolean Formulae....Pages 167-183
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables....Pages 184-200
A Shape Analysis for Non-linear Data Structures....Pages 201-217
Modelling Metamorphism by Abstract Interpretation....Pages 218-235
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis....Pages 236-252
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks....Pages 253-270
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely....Pages 271-286
 Boxes : A Symbolic Abstract Domain of Boxes....Pages 287-303
Alternation for Termination....Pages 304-319
Interprocedural Analysis with Lazy Propagation....Pages 320-339
Verifying a Local Generic Solver in Coq....Pages 340-355
Thread-Modular Counterexample-Guided Abstraction Refinement....Pages 356-372
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods....Pages 373-389
Linear-Invariant Generation for Probabilistic Programs:....Pages 390-406
Abstract Interpreters for Free....Pages 407-421
Points-to Analysis as a System of Linear Equations....Pages 422-438
Strictness Meets Data Flow....Pages 439-454
Automatic Verification of Determinism for Structured Parallel Programs....Pages 455-471
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Crime Control: The Use and Misuse of Police Resources

دانلود کتاب One Taste: Daily Reflections on Integral Spirituality

دانلود کتاب The Management of Chronic Illness: Patient and Doctor Perspectives on Parkinson’s Disease

دانلود کتاب If Nuns Ruled the World: Ten Sisters on a Mission

دانلود کتاب Proceedings,