Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642084744
Price: 9000 KES
Availability: OutOfStock
ISBN: 9783642084744

Softcover reprint of hardcover 1st ed. 1999

by Chris Hankin , Flemming Nielson , Hanne R. Nielson

Book Details

Format Paperback / softback

ISBN-10 3642084745

ISBN-13 9783642084744

Edition Softcover reprint of hardcover 1st ed. 1999

Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Country of Manufacture GB

Country of Publication GB

Publication Date Dec 1st, 2010

Print length 452 Pages

Weight 698 grams

Dimensions 23.30 x 15.60 x 2.90 cms

Product Classification: Compilers Compilers and interpreters Software Engineering Mathematical theory of computation

KSh 9,000.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems.

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.

Get Principles of Program Analysis by Chris Hankin, Flemming Nielson at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 452 pages.