Path-Oriented Program Analysis

by J.C. Huang

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...

• Format: Hardcover
• Language: English
• ISBN: 0521882869
• ISBN13: 9780521882866
• Release Date: December 2007
• Publisher: Cambridge University Press
• Length: 208 Pages
• Weight: 0.88 lbs.
• Dimensions: 0.7" x 6.4" x 9.1"