Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Path-Oriented Program Analysis
Type
Physical Book
Author
Publisher
Year
2007
Language
English
Pages
208
Format
Hardcover
Dimensions
23.1 x 16.2 x 1.9 cm
Weight
0.40 kg.
ISBN
0521882869
ISBN13
9780521882866
Categories

Path-Oriented Program Analysis

J. C. Huang (Author) · Cambridge University Press · Hardcover

Path-Oriented Program Analysis - Huang, J. C.

Used BookGood Condition Imported to South Africa
Delivery: 13 Aug - 27 Aug Shipping: 14 to 19 business days.
R 597
(Good Condition)R 597

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "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, 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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews