English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Cambridge Press Path Oriented Program Analysis Dec 2007 eBook-BBL
Posted on 2010-03-15
|
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.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Windows Microsoft Press Microsoft Office Excel 2007 Data Analysis and Business Modeling May 2007 eBook-BBL Microsoft Office Excel 2007: Data Analysis and Business Modeling (c) by Microsoft Press The type of the release is: eBook In the CHM format with ISBN: 0735623961 and Pub Date: May 16, 2007 The size of the release is: 15 disks x 2.88mb And r ... |
 | CRC Press A Guide to MATLAB Object Oriented Programming May 2007 eBook-BBL A Guide to MATLAB Object-Oriented Programming (c) by CRC Press The type of the release is: eBook In the PDF format with ISBN: 158488911X and Pub Date: May 14, 2007 The size of the release is: 02 disks x 2.88mb And released on: 07/11/2007 Th ... |
 | Windows CRC Press Automated Data Analysis Using Excel Jun 2007 eBook-BBL Automated Data Analysis Using Excel (c) by CRC Press The type of the release is: eBook In the PDF format with ISBN: 1584888857 and Pub Date: June 15, 2007 The size of the release is: 05 disks x 2.88mb And released on: 08/06/2007 Because the ... |
 | Cambridge Press Concurrent and Real Time Programming in Ada Jul 2007 eBook-BBL Concurrent and Real-Time Programming in Ada (c) by Cambridge University Press The type of the release is: eBook In the PDF format with ISBN: 0521866979 and Pub Date: July 16, 2007 The size of the release is: 02 disks x 1.44mb And released o ... |
 | Science/Engineering Analysis: An Introduction ( Cambridge University Press ) Richard Beals, "Analysis: An Introduction"Cambridge University Press (September 13, 2004) | ISBN: 0521600472 | 272 pages | PDF | 1,8 MbReview"Analysis: An Introduction is most appropriate for a undergraduate who has already grappled with t ... |
 | Programming Path-Oriented Program Analysis J. C. Huang "Path-Oriented Program Analysis" Cambridge University Press | 2007-12-24 | ISBN:0521882869 | PDF | 208 pages | 1,9 Mb This book presents a unique method for decomposing a computer program along its execution paths, for simplif ... |
Comments (0)
