Path-oriented Program Analysis by J. C. Huang
Look inside with Google Book Preview
Path-oriented Program Analysis
By J. C. Huang

Path-oriented Program Analysis

By (author) See other recent books by J. C. Huang
Format: Hardback

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 Available to Backorder, No Due Date for Supply

Path-oriented Program Analysis by J. C. Huang

Book Description

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 book by J. C. Huang from Australia's Online 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


» 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!)

Write a book 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.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by J. C. Huang close
» close