Cambridge Press Path Oriented Program Analysis Dec 2007 eBook-BBL

Description

Path-Oriented Program Analysis (c) by Cambridge University Press

The type of the release is: eBook
In the PDF format with ISBN: 0521882869 and Pub Date: December 24, 2007
The size of the release is: 01 disks x 1.44mb
And released on: 02/20/2008


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, simplication, 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.

http://www.amazon.com/exec/obidos/tg/detail/-/0521882869/



$$ Buy "Cambridge Press Path Oriented Program Analysis Dec 2007 eBook-BBL" on Amazon $$

Download links for "Cambridge Press Path Oriented Program Analysis Dec 2007 eBook-BBL":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1592
2. Path-Oriented Program Analysis
3. Path-Oriented Program Analysis
4. Cambridge Press Concurrent and Real Time Programming in Ada Jul 2007 eBook-BBL
5. Analysis in Integer and Fractional Dimensions (Cambridge Studies in Advanced Mat
6. CRC Press A Guide to MATLAB Object Oriented Programming May 2007 eBook-BBL
7. Object-Oriented Programming via Fortran 90/95
8. CRC Press Automated Data Analysis Using Excel Jun 2007 eBook-BBL
9. Analysis: An Introduction ( Cambridge University Press )
10. Microsoft Press Microsoft Office Excel 2007 Data Analysis and Business Modeling May 2007 eBook-BBL
11. The Cambridge Companion to Newton (Cambridge Companions to Philosophy)
12. Cambridge IELTS 5 Student's Book with Answers
13. [ebook]JavaTech, Cambridge University Press
14. Performance Analysis of Communications Networks and Systems
15. Object-Oriented Analysis and Design with Applications | Ebook Share
16. [share_ebook] Primer of Genetic Analysis A Problems Approach - Fresh Link