Path-Oriented Program Analysis (c) by Cambridge University Press
The type of the release is: eBook
In the PDF format with ISBN: 0521882869 and Pub Date: December 24, 2007
The size of the release is: 01 disks x 1.44mb
And released on: 02/20/2008
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.
http://www.amazon.com/exec/obidos/tg/detail/-/0521882869/
Download