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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
