Path-oriented Program Analysis
By (author) J. C. Huang
Normal Price: $220.00
Your Price: $198.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $22.00! (10% off normal price)
Plus...earn $9.90 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply, Not for Xmas
Path-oriented Program Analysis by J. C. Huang
Book DescriptionThis 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.
Buy Path-oriented Program Analysis book by J. C. Huang from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521882866
(228mm x 152mm x 16mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 24-Dec-2007
Country of Publication: United Kingdom
» Have you read this book? We'd like to know what you think about it - write a review about Path-oriented Program Analysis book by J. C. Huang and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Author Biography - J. C. Huang
J. C. Huang received a Ph.D. in Electrical Engineering from the University of Pennsylvania in 1969. He is a Professor in the Department of Computer Science at the University of Houston, where he served as Chair from 1992 to 1996. His practical experience in computer software includes serving as the chief architect of a software validation and verification system developed for the U.S. Army's Ballistic Missile Defense Command, and as a senior consultant to the U.S. Naval Underwater Systems Center on submarine software problems.
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687