Call Boomerang Books 1300 36 33 32

Description - 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 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 by J. C. Huang from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521882866
ISBN-10: 0521882869
Format: Hardback
(228mm x 152mm x 16mm)
Pages: 208
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 24-Dec-2007
Country of Publication: United Kingdom

Book Reviews - Path-Oriented Program Analysis by J. C. Huang

» 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 Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

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.