Path-Oriented Program Analysis

Released on by J. C. Huang
preview-18

  • Path-Oriented Program Analysis Book Detail

  • Author : J. C. Huang
  • Release Date : 2007-12-24
  • Publisher : Cambridge University Press
  • Genre : Computers
  • Pages : 120
  • ISBN 13 : 1139468944
  • File Size : 62,62 MB
DOWNLOAD BOOK

Path-Oriented Program Analysis by J. C. Huang PDF Summary

Book Description: 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, simplification, 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.

Disclaimer: www.yourbookbest.com does not own Path-Oriented Program Analysis books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Path-Oriented Program Analysis

Path-Oriented Program Analysis

File Size : 93,93 MB
Total View : 7793 Views
DOWNLOAD

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposin

Principles of Program Analysis

Principles of Program Analysis

File Size : 75,75 MB
Total View : 3377 Views
DOWNLOAD

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code

Static Analysis

Static Analysis

File Size : 82,82 MB
Total View : 4888 Views
DOWNLOAD

This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7–9 September 2005 at

Static Analysis

Static Analysis

File Size : 66,66 MB
Total View : 5397 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-locat