مشخصات کتاب

Principles of Program Analysis

ویرایش:  
نویسندگان: Flemming Nielson,  Hanne R. Nielson,  Chris Hankin  
سری:  
 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 482 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

در صورت تبدیل فایل کتاب Principles of Program Analysis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصول تجزیه و تحلیل برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اصول تجزیه و تحلیل برنامه

تجزیه و تحلیل برنامه از تکنیک های ثابت برای محاسبه اطلاعات قابل اعتماد در مورد رفتار پویا برنامه ها استفاده می کند. برنامه های کاربردی عبارتند از کامپایلر (برای بهبود کد)، اعتبار سنجی نرم افزار (برای تشخیص خطا) و تبدیل بین نمایش داده ها (برای حل مشکلاتی مانند Y2K). این کتاب در ارائه یک نمای کلی از چهار رویکرد اصلی برای تجزیه و تحلیل برنامه منحصر به فرد است: تجزیه و تحلیل جریان داده، تجزیه و تحلیل مبتنی بر محدودیت، تفسیر انتزاعی، و سیستم های نوع و اثر. این ارائه شباهت های گسترده بین رویکردها را نشان می دهد و به خوانندگان کمک می کند تا بهترین را برای استفاده انتخاب کنند.

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

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

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

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

دانلود کتاب Transformations of Musical Modernism

دانلود کتاب Intermediate Microeconomics: A Tool-Building Approach

دانلود کتاب Systems Thinking for Sustainable Development: Climate Change and the Environment

دانلود کتاب Step Up in Chemistry: อ่านให้ตรงข้อสอบ จบเคมี ม.4-6 ใน 48 ชั่วโมง

دانلود کتاب The Zenned Out Guide to Understanding Chakras: Your Handbook to Understanding The Energy of The Chakra System