مشخصات کتاب

Reasoning About Program Transformations

ویرایش: 1 
نویسندگان: Jean-Francois Collard  
سری:  
ISBN (شابک) : 0387953914, 9780387953915 
ناشر: Springer 
سال نشر: 2002 
تعداد صفحات: 256 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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

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

توضیحاتی در مورد کتاب استدلال درباره تحولات برنامه

متن شامل ارائه دقیق و جاری از تحلیل‌ها و تبدیل‌های برنامه است که جریان داده‌ها را در سیستم‌های حافظه رایانه استخراج می‌کند. تاکید بر چارچوبی برای بهینه سازی کد برای برنامه های ضروری و کارایی بیشتر سیستم های کامپیوتری است. علاوه بر این، نویسنده نشان می دهد که صحت تحولات برنامه با حفظ جریان داده تضمین می شود. متخصصان و محققان در مهندسی نرم افزار، مهندسی کامپیوتر، تجزیه و تحلیل طراحی برنامه و طراحی کامپایلر از ارائه روش های جریان داده و بهینه سازی حافظه کامپایلرها بهره مند خواهند شد.

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

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, the author shows that correctness of program transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.

فهرست مطالب

ReasoningAboutProgramTransf1047_f.jpg......Page 1
1.pdf......Page 2
2.pdf......Page 18
3.pdf......Page 33
4.pdf......Page 34
5.pdf......Page 51
6.pdf......Page 70
7.pdf......Page 71
8.pdf......Page 89
9.pdf......Page 135
10.pdf......Page 155
11.pdf......Page 175
12.pdf......Page 176
13.pdf......Page 206
14.pdf......Page 222
15.pdf......Page 234
16.pdf......Page 239

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

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

دانلود کتاب Parallel Programming with Microsoft Visual C++: Design Patterns for Decomposition and Coordination on Multicore Architectures

دانلود کتاب Italy in the Nineteenth Century 1796-1900 (Short Oxford History of Italy)

دانلود کتاب Evaluation and Treatment of Obesity

دانلود کتاب Shakira. International Music Star

دانلود کتاب Encapsulation and Controlled Release (Woodhead Publishing Series in Food Science, Technology and Nutrition)