ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

دانلود کتاب تحلیل استاتیک: بیستمین سمپوزیوم بین المللی ، SAS 2013 ، سیاتل ، WA ، ایالات متحده آمریکا ، 20 تا 22 ژوئن 2013. مجموعه مقالات

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

مشخصات کتاب

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 7935 Programming and Software Engineering 
ISBN (شابک) : 9783642388552, 9783642388569 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2013 
تعداد صفحات: 508 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 34,000



کلمات کلیدی مربوط به کتاب تحلیل استاتیک: بیستمین سمپوزیوم بین المللی ، SAS 2013 ، سیاتل ، WA ، ایالات متحده آمریکا ، 20 تا 22 ژوئن 2013. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تحلیل استاتیک: بیستمین سمپوزیوم بین المللی ، SAS 2013 ، سیاتل ، WA ، ایالات متحده آمریکا ، 20 تا 22 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تحلیل استاتیک: بیستمین سمپوزیوم بین المللی ، SAS 2013 ، سیاتل ، WA ، ایالات متحده آمریکا ، 20 تا 22 ژوئن 2013. مجموعه مقالات



این کتاب مجموعه مقالات بیستمین سمپوزیوم بین‌المللی تحلیل استاتیک، SAS 2013، که در ژوئن 2013 در سیاتل، WA، ایالات متحده برگزار شد، با داوری کامل است. . این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک، از جمله حوزه های انتزاعی، تفسیر انتزاعی، آزمایش انتزاعی، تشخیص اشکال، تجزیه و تحلیل جریان داده، بررسی مدل، برنامه های کاربردی جدید، تبدیل برنامه، تأیید برنامه، تجزیه و تحلیل امنیتی، چارچوب های نظری، و بررسی نوع می پردازند. p>


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

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 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 -
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT....Pages 1-3
Static Analysis in the Continuously Changing World....Pages 4-5
Abstract Interpretation over Non-lattice Abstract Domains....Pages 6-24
Localizing Widening and Narrowing....Pages 25-42
The Abstract Domain of Segmented Ranking Functions....Pages 43-62
Symbolic Automata for Static Specification Mining....Pages 63-83
Predicate Abstraction for Relaxed Memory Models....Pages 84-104
On Solving Universally Quantified Horn Clauses....Pages 105-125
From Concrete Examples to Heap Manipulating Programs....Pages 126-149
Local Shape Analysis for Overlaid Data Structures....Pages 150-171
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists....Pages 172-193
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing....Pages 194-214
Byte-Precise Verification of Low-Level List Manipulation....Pages 215-237
Abstract Semantic Differencing for Numerical Programs....Pages 238-258
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation....Pages 259-282
Automatic Synthesis of Deterministic Concurrency....Pages 283-303
Witnessing Program Transformations....Pages 304-323
Formal Verification of a C Value Analysis Based on Abstract Interpretation....Pages 324-344
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra....Pages 345-365
Static Provenance Verification for Message Passing Programs....Pages 366-387
Verification as Learning Geometric Concepts....Pages 388-411
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL....Pages 412-432
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation....Pages 433-453
Automatic Verification of Erlang-Style Concurrency....Pages 454-476
Contextual Locking for Dynamic Pushdown Networks....Pages 477-498
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی