دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: هفتمین سمپوزیوم بین المللی ، SAS 2000 ، سانتا باربارا ، کالیفرنیا ، ایالات متحده ، 29 ژوئن - 1 ژوئیه 2000. مجموعه مقالات
مشخصات کتاب
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings
ویرایش: [1 ed.] نویسندگان: Daniel Jackson (auth.), Jens Palsberg (eds.) سری: Lecture Notes in Computer Science 1824 ISBN (شابک) : 3540676686, 9783540676683 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 433 [447] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 74,000
در صورت تبدیل فایل کتاب Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: هفتمین سمپوزیوم بین المللی ، SAS 2000 ، سانتا باربارا ، کالیفرنیا ، ایالات متحده ، 29 ژوئن - 1 ژوئیه 2000. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: هفتمین سمپوزیوم بین المللی ، SAS 2000 ، سانتا باربارا ، کالیفرنیا ، ایالات متحده ، 29 ژوئن - 1 ژوئیه 2000. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS 2000، برگزار شده در سانتا باربارا، کالیفرنیا، ایالات متحده، در ژوئن/ژوئیه 2000 است. همچنین شامل 2 مقاله کامل دعوت شده است. تمام جنبههای فعلی پیادهسازی و تأیید زبانهای برنامهنویسی با کارایی بالا، بهویژه منطقهای شی، بررسی مدل، حل محدودیت، تفسیر انتزاعی، تبدیل برنامه، بازنویسی، تجزیه و تحلیل محرمانگی، زبانهای تایپشده، تجزیه و تحلیل یکپارچه، بهینهسازی کد، خاتمه، کد بررسی میشوند. تخصص و انتزاع هدایت شده
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th
International Static Analysis Symposium, SAS 2000, held in
Santa Barbara, CA, USA, in June/July 2000.
The 20 revised full papers presented were carefully reviewed
and selected from 52 submissions. Also included are 2 invited
full papers. All current aspects of high-performance
implementation and verification of programming languages are
addressed, in particular object logics, model checking,
constraint solving, abstract interpretation, program
transformation, rewriting, confidentiality analysis, typed
languages, unified analysis, code optimization, termination,
code specialization, and guided abstraction.
فهرست مطالب
Front Matter....Pages -
Enforcing Design Constraints with Object Logic....Pages 1-21
Model Checking as Constraint Solving....Pages 22-37
Abstract Interpretation Based Semantics of Sequent Calculi....Pages 38-57
A Transformational Approach for Generating Non-linear Invariants....Pages 58-72
Deriving Parallel Codes via Invariants....Pages 75-94
Safety of Strictness Analysis via Term Graph Rewriting....Pages 95-114
Checking Cleanness in Linked Lists....Pages 115-134
Confidentiality Analysis of Mobile Systems....Pages 135-154
Unified Analysis of Array and Object References in Strongly Typed Languages....Pages 155-174
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C....Pages 175-198
Efficient Inference of Static Types for Java Bytecode....Pages 199-219
Abstract Interpretation of Game Properties....Pages 220-239
FULLDOC: A Full Reporting Debugger for Optimized Code....Pages 240-259
Partial Redundancy Elimination on Predicated Code....Pages 260-279
TVLA: A System for Implementing Static Analyses....Pages 280-301
Tree Schemata and Fair Termination....Pages 302-319
Abstract Interpretation of Probabilistic Semantics....Pages 322-339
Code Specialization Based on Value Profiles....Pages 340-359
Flattening Is an Improvement....Pages 360-376
Model Checking Guided Abstraction and Analysis....Pages 377-396
Abstract Domains for Sharing Analysis by Optimal Semantics....Pages 397-412
Concurrency Analysis for Java....Pages 413-432
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Programming in the Large with Design Patterns
دانلود کتاب Homo Legens: Styles et pratiques de lecture: Analyses comparées des traditions orales et écrites au Moyen Âge / Styles and Practices of Reading: Comparative Analyses of Oral and Written Traditions in the Middle Ages
دانلود کتاب Shakespeare's Advice to the Players
