Path-Oriented Program Analysis ebook Huang,J. C. Diesel eBooks

receive alert on new titles by this author

Path-Oriented Program Analysis

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.

Share your thoughts on the Path-Oriented Program Analysis ebook with other internet viewers!

Title of ebook: Path-Oriented Program Analysis
ISBN: 9780511368349
Publisher: Cambridge University Press
Internet download file size: 897 kb
Released online for download: 12-31-2007
Author of eBook: Huang,J. C.

Format

Sku

ISBN

File size

Security

Printing

Copying

Read aloud

Minimum software

Sys. requirements

Download reader

Digital Editions

0511368348

9780511368349

897 KB

n/a

20 pages every 30 days

5 selections to your
clipboard every 30 days

No

N/A

See here

Digital editions

Computers Categories
Computers General (1073) Artificial Intellige (31) Business Software (558) Certification (279) Computer Graphics (908) Computer Science (35) Data Transmission Sy (101) Database Mgmt (619) Electronic Commerce (79) Electronic Publishin (242) Hardware (475)	Information Technolo (165) Internet (808) Security (57) Web Site Design (257) Miscellaneous Softwa (42) Networking (795) Operating Sys (768) Programming (2516) Reference (198) Security (196)