LiveZilla Live Chat Software
Importitall
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

    [3642084745]
    Delivery: 10-20 Working Days
    Customer Ratings (3 reviews)
    Price R1789.00

     pinterest 
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

Compilers: Principles, Techniques, and Tools (2nd Edition)Types and Programming Languages (MIT Press)Data Flow Analysis: Theory and PracticeIntroduction to Algorithms, 3rd Edition (MIT Press)Introduction to Automata Theory, Languages, and Computation (3rd Edition)Advanced Topics in Types and Programming Languages (MIT Press)Basic Category Theory for Computer Scientists (Foundations of Computing)Formal Semantics of Programming LanguagesAlgorithm Design: Foundations, Analysis, and Internet Examples
Specifications

Country
USA
Binding
Paperback
EAN
9783642084744
ISBN
3642084745
Label
Springer
Manufacturer
Springer
MPN
56 black & white illustrations, 51 black
NumberOfItems
1
NumberOfPages
452
PartNumber
56 black & white illustrations, 51 black
PublicationDate
2010-02-19
Publisher
Springer
Studio
Springer
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.