دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introduction to static analysis an abstract interpretation perspective
دانلود کتاب مقدمه ای بر تحلیل ایستا از دیدگاه تفسیر انتزاعی
مشخصات کتاب
Introduction to static analysis an abstract interpretation perspective
ویرایش: نویسندگان: Xavier Rival, Kwangkeun Yi سری: ISBN (شابک) : 9780262356657, 0262356651 ناشر: The MIT Press سال نشر: 2020 تعداد صفحات: زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Introduction to static analysis an abstract interpretation perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر تحلیل ایستا از دیدگاه تفسیر انتزاعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر تحلیل ایستا از دیدگاه تفسیر انتزاعی
مقدمه ای مستقل برای تجزیه و تحلیل استاتیک مبتنی بر تفسیر انتزاعی، یک منبع ضروری برای دانش آموزان، توسعه دهندگان و کاربران. تجزیه و تحلیل برنامه ایستا یا تجزیه و تحلیل ایستا، با هدف کشف ویژگی های معنایی برنامه ها بدون اجرای آنها است. نقش مهمی در تمام مراحل توسعه، از جمله تأیید مشخصات و برنامه‌ها، سنتز کدهای بهینه‌سازی شده، و بازسازی و نگهداری برنامه‌های کاربردی نرم‌افزار ایفا می‌کند. این کتاب مقدمه ای مستقل برای تحلیل استاتیکی ارائه می دهد که مبانی مبانی نظری و ملاحظات عملی در استفاده از ابزارهای تحلیل استاتیک را پوشش می دهد. این کتاب با ارائه یک مقدمه سریع و جامع برای افراد غیرمتخصص، شکاف قابل توجهی را در ادبیات، که تاکنون عمدتاً از مقالات علمی در مورد موضوعات پیشرفته تشکیل شده است، پر می کند. متن مبانی ریاضی تحلیل استاتیک، از جمله معناشناسی، انتزاع معنایی، و محاسبه متغیرهای برنامه را پوشش می دهد. مفاهیم و تکنیک های پیشرفته تر، از جمله تکنیک هایی برای افزایش تعادل هزینه-دقت تحلیل و انتزاعات برای ویژگی های برنامه نویسی پیشرفته و پاسخ به طیف گسترده ای از سوالات معنایی. و تکنیک های پیاده سازی و استفاده از ابزارهای تحلیل ایستا. این با اطلاعات پس‌زمینه و مقدمه‌ای بصری و غیررسمی به اصول و تکنیک‌های اصلی تحلیل استاتیک آغاز می‌شود. سپس مبانی علمی تکنیک های تحلیل برنامه را رسمیت می دهد، جنبه های عملی پیاده سازی را در نظر می گیرد و کاربردهای پیشرفته تری را ارائه می دهد. این کتاب می تواند به عنوان یک کتاب درسی در دوره های پیشرفته کارشناسی و کارشناسی ارشد در تجزیه و تحلیل استاتیک و تأیید برنامه و به عنوان یک مرجع برای کاربران، توسعه دهندگان و کارشناسان استفاده شود.
توضیحاتی درمورد کتاب به خارجی
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics. The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.
