Principles of Program Analysis (Paperback, Softcover reprint of hardcover 1st ed. 1999)

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

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	December 2010
First published:	1999
Authors:	Flemming Nielson • Hanne R. Nielson • Chris Hankin
Dimensions:	235 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	452
Edition:	Softcover reprint of hardcover 1st ed. 1999
ISBN-13:	978-3-642-08474-4
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-642-08474-5
Barcode:	9783642084744

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!