Path Oriented Program Analysis
Download and Read Path Oriented Program Analysis full books in PDF, ePUB, and Kindle. Read online free Path Oriented Program Analysis ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Path-Oriented Program Analysis
Author | : J. C. Huang |
Publisher | : Cambridge University Press |
Total Pages | : 120 |
Release | : 2007-12-24 |
Genre | : Computers |
ISBN | : 1139468944 |
Download Path-Oriented Program Analysis Book in PDF, Epub and Kindle
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.
Path-Oriented Program Analysis Related Books
Pages: 120
Pages: 465
Pages: 377
Pages: 387