کتاب الکترونیکی

تحلیل برنامه مسیر گرا

Path-Oriented Program Analysis

دانلود کتاب Path-Oriented Program Analysis (به فارسی: تحلیل برنامه مسیر گرا) نوشته شده توسط «J. C. Huang»

اطلاعات کتاب تحلیل برنامه مسیر گرا

موضوع اصلی: تحلیل و بررسی

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: J. C. Huang

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 213

حجم کتاب: 2 مگابایت

کد کتاب: 9780521882866 , 0521882869

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

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

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.

دانلود کتاب «تحلیل برنامه مسیر گرا»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان