Path-Oriented Program Analysis

This book presents a method for decomposing a computer program along its execution paths, for simplifying the resulting subprograms, and for recomposing a program from its subprograms. The resulting simplified subprograms are generally more understandable than the original program as a whole. Thus, the method enables us to better understand the complexity involved in a program.