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/

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

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. CRC Press A Guide to MATLAB Object Oriented Programming May 2007 eBook-BBL
5. Cambridge Press Concurrent and Real Time Programming in Ada Jul 2007 eBook-BBL
6. CRC Press Automated Data Analysis Using Excel Jun 2007 eBook-BBL
7. Analysis in Integer and Fractional Dimensions (Cambridge Studies in Advanced Mat
8. Microsoft Press Microsoft Office Excel 2007 Data Analysis and Business Modeling May 2007 eBook-BBL
9. Object-Oriented Programming via Fortran 90/95
10. [ebook]JavaTech, Cambridge University Press
11. Analysis: An Introduction ( Cambridge University Press )
12. Object-Oriented Analysis and Design with Applications | Ebook Share
13. No Starch Press Object Oriented PHP Concepts Techniques and Code Jun 2006 eBook-
14. [request_ebook] Matrix Analysis
15. The Cambridge Companion to Newton (Cambridge Companions to Philosophy)
16. Cambridge IELTS 5 Student's Book with Answers