Principles of Program Analysis
Softcover reprint of hardcover 1st ed. 1999
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 Software Engineering Mathematical theory of computation
Ksh 7,900.00
Werezi Extended Catalogue
Delivery Location
Delivery fee: Select location
Delivery in 28 days
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 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 pages.
Mind, Body, & Spirit
Shopping Cart
Africa largest book store
Sub Total:
Digital Library
Coming Soon
Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.