دانلود کتاب Path-Oriented Program Analysis
49,000 تومان
تحلیل برنامه مسیر گرا
| موضوع اصلی | تحلیل و بررسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Cambridge University Press |
| تعداد صفحه | 213 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9780521882866,0521882869 |
| نویسنده | J. C. Huang |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تحلیل برنامه مسیر گرا
این کتاب یک روش منحصر به فرد برای تجزیه یک برنامه کامپیوتری در طول مسیرهای اجرای آن، برای ساده سازی زیربرنامه های تولید شده و برای ترکیب مجدد یک برنامه از زیربرنامه های آن ارائه می دهد. این روش ما را قادر می سازد تا پیچیدگی مربوط به درک محاسبات انجام شده توسط یک برنامه را با تجزیه آن به مجموعه ای از زیربرنامه ها و سپس ساده سازی آنها تا حد امکان، تقسیم و غلبه کنیم. زیربرنامه های ساده شده به طور کلی قابل درک تر از برنامه اصلی هستند. این روش همچنین ممکن است برای ساده کردن یک قطعه کد منبع با پیروی از روش مسیر گرا تجزیه، ساده سازی و ترکیب مجدد استفاده شود. تجزیه و تحلیل ممکن است به گونه ای انجام شود که اشتقاق نتیجه تجزیه و تحلیل به منزله اثبات صحت باشد. این روش را می توان برای هر کد منبع (یا بخشی از آن) اعمال کرد که محاسبات را بر اساس عبارات انتساب، دستورات شرطی و ساختارهای حلقه، بدون توجه به زبان یا پارادایم مورد استفاده، تجویز می کند.
This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplication, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.