LiveZilla Live Chat Software
Register/Login Login Contact UsContacts BlogBlog
Cart Items : 0 | Cart Total : R0
Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development > 3642084745
  1. Principles of Program Analysis
    Image(s) provided for illustrative purposes and may differ from the actual product
  2. Principles of Program Analysis

    Delivery: 10-20 Working Days
    Customer Ratings (3 reviews)
    Price R2039.00

Additional Information

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

Similar Products

Data Flow Analysis: Theory and PracticeTypes and Programming Languages (MIT Press)Compilers: Principles, Techniques, and Tools (2nd Edition)The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities (2 Volume set)Secure Programming with Static AnalysisRtfm: Red Team Field ManualEven a Geek Can SpeakAdvanced Topics in Types and Programming Languages (MIT Press)Principles of Model Checking (MIT Press)Formal Semantics of Programming Languages

56 black & white illustrations, 51 black
56 black & white illustrations, 51 black
Most Helpful Customer Reviews

I had to buy this book for my program analysis class. There are too much Math in this book ... Impossible to understand.
As a graduate student in programming languages, I'm finding this textbook a very useful tool to help bring me up to speed. It really helps in understanding theoretical papers on various kinds of static analyses. The book benefits from its segmented approach, so the sections on type and effect systems and data flow analysis, for instance, can be read independently without much of an interdependency.
I gave up at page 8. Too mathematical, everything is explained using an abstract WHILE language, no practical examples.
Please Note

The authorised South African distributor of this product is under no obligation to honour the manufacture's guarantees/warranties or to provide after-sales service.

Please note that this item is imported from the USA, and is designed to be used in the USA. In addition, if the unit is powered it will come with a US plug and an adapter/transformer may be required. Please click here for more information on power requirements, or check with us if you are unsure or need any assistance!

Please also note that certain items cannot be imported, these include Alcohol, Animals, Batteries, Flammable Materials, Currency, Food, Furs, Chemicals, Explosives, Medications, Plants, Seeds, Supplements, Pressurized Cans, Tactical Equipment, Vitamins, Weaponry and Weaponry Accessories. In these cases, the item and information is displayed for reference purposes only. If you are not sure if we are permitted to bring an item, please send us an e-mail with a link to the item to confirm.

Please also ensure that you are ordering the correct item for your particular application as returns to the USA are costly. Product reviews are also provided for most of our items, which can give you a good idea for possible things to look out for and the quality of the item. By clicking Add to Cart, you are confirming that the item is correct and you accept the conditions listed here.