دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: دهمین سمپوزیوم بین المللی ، SAS 2003 سن دیگو ، کالیفرنیا ، ایالات متحده آمریکا ، مقالات 11 تا 13 ژوئن 2003
مشخصات کتاب
Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach (auth.), Radhia Cousot (eds.) سری: Lecture Notes in Computer Science 2694 ISBN (شابک) : 3540403256, 9783540403258 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 517 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: دهمین سمپوزیوم بین المللی ، SAS 2003 سن دیگو ، کالیفرنیا ، ایالات متحده آمریکا ، مقالات 11 تا 13 ژوئن 2003: زبان های برنامه نویسی، کامپایلرها، مترجمان، علوم کامپیوتر، عمومی، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: دهمین سمپوزیوم بین المللی ، SAS 2003 سن دیگو ، کالیفرنیا ، ایالات متحده آمریکا ، مقالات 11 تا 13 ژوئن 2003 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: دهمین سمپوزیوم بین المللی ، SAS 2003 سن دیگو ، کالیفرنیا ، ایالات متحده آمریکا ، مقالات 11 تا 13 ژوئن 2003
این کتاب مجموعه مقالات داوری دهمین سمپوزیوم بین‌المللی تحلیل استاتیک، SAS 2003، در سن دیگو، کالیفرنیا، ایالات متحده آمریکا در ژوئن 2003 به عنوان بخشی از FCRC 2003 برگزار شد.
25 مقاله کامل اصلاح‌شده. ارائه شده همراه با دو مشارکت دعوت شده به دقت بررسی و از بین 82 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد تجزیه و تحلیل استاتیک زبان های شی گرا، تجزیه و تحلیل ایستا زبان های همزمان، تجزیه و تحلیل ایستا زبان های تابعی، تجزیه و تحلیل ایستا زبان های رویه ای، تجزیه و تحلیل استاتیک داده ها، تجزیه و تحلیل رابطه خطی ایستا، تبدیل برنامه مبتنی بر تحلیل ایستا، و تجزیه و تحلیل استاتیک پشته.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.
The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.
فهرست مطالب
Precise Analysis of String Expressions....Pages 1-18
Modular Class Analysis with DATALOG ....Pages 19-36
Class-Level Modular Analysis for Object Oriented Languages....Pages 37-54
Checking Interference with Fractional Permissions....Pages 55-72
Message Analysis for Concurrent Languages....Pages 73-90
Instantaneous Termination in Pure Esterel....Pages 91-108
Stack Size Analysis for Interrupt-Driven Programs....Pages 109-126
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)....Pages 127-152
Selective Tail Call Elimination....Pages 153-170
Inserting Safe Memory Reuse Commands into ML-Like Programs....Pages 171-188
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis....Pages 189-213
Client-Driven Pointer Analysis....Pages 214-236
Abstract Interpretation of Programs as Markov Decision Processes....Pages 237-254
A Logic for Analyzing Abstractions of Graph Transformation Systems....Pages 255-272
Type Systems for Distributed Data Sharing....Pages 273-294
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations....Pages 295-315
Computer-Assisted Verification of a Protocol for Certified Email....Pages 316-335
Craig Interpolation and Reachability Analysis....Pages 336-336
Precise Widening Operators for Convex Polyhedra....Pages 337-354
Cartesian Factoring of Polyhedra in Linear Relation Analysis....Pages 355-365
Continuation-Based Partial Evaluation without Continuations....Pages 366-382
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications....Pages 383-400
Code Compaction of Matching Single-Entry Multiple-Exit Regions....Pages 401-417
Existential Heap Abstraction Entailment Is Undecidable....Pages 418-438
Typestate Verification: Abstraction Techniques and Complexity Results....Pages 439-462
Static Analysis of Accessed Regions in Recursive Data Structures....Pages 463-482
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management....Pages 483-503
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
دانلود کتاب Proceedings of the third ACM SIGPLAN conference on History of programming languages
دانلود کتاب Partner Choice and Cooperation in Networks: Theory and Experimental Evidence
دانلود کتاب Object-Oriented Information Systems: 8th International Conference, OOIS 2002 Montpellier, France, September 2–5, 2002 Proceedings
دانلود کتاب Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge
دانلود کتاب Ubiquitous Computing Systems: Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
دانلود کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
دانلود کتاب The Semantic Web – ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
دانلود کتاب KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
