Win a Family Weekend Break with Lovereading and VisitWiltshire - click here for details...

likeyoulove Harry Potter House Eds
Search our site
Are You Sleeping by Kathleen Barber Read the opening extract of the brand new Kathleen Barber book before its publication on 27/12/2017

Path-Oriented Program Analysis by J. C. Huang
  

Path-Oriented Program Analysis

Synopsis

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.

About the Author

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.

More books by this author
Author 'Like for Like' recommendations

Loading other formats...

Book Info

Publication date

24th December 2007

Author

J. C. Huang

More books by J. C. Huang
Author 'Like for Like'
    recommendations

Publisher

Cambridge University Press

Format

Hardback
208 pages

Categories

Software Engineering

ISBN

9780521882866

Lovereading tells me about new books before they hit the shelves, lets me find other authors I may like and has great prize draws!

Sheila Dale

It is a website dedicated to those who adore reading It really is a one stop shop for book lovers. Love it!

Edel Waugh

Lovereading is a world of books. It has everything you need from new to old and much loved classic books. It even give you recommendations!

Kate Thurston

Lovereading is a wonderful way to expand my literary horizons, discover inspiring authors & get the chance to read new novels first. #loveit

Zarina de Ruiter

I 'Lovereading' because it lets me see what new books are around with a detailed synopsis and readers' reviews.

Judith Sharp

Lovereading is not only an amazing site, but it's one of my very favourites. It's like visiting a fascinating bookstore, but better.

Rebecca Jayne Barrett

I love Lovereading because of its ability to connect people that love books & unite them in a friendly, stimulating & interesting community.

Megan Olwen William

My favourite thing about is the 'like for like' page this has really introduced me to some good reads! That and lots of honest reviews.

Sam Lewis

Lovereading4kids

Lovereading4schools