Principles of Program Analysis
Chris Hankin, Flemming Nielson, Hanne R. Nielson
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
73,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642084744
- ISBN-10
- 3642084745
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2010
- Publication date
- 2010-12-01
- Pages
- 452
- Dimensions
- 233x156x29
- Weight
- 698