Principles of program analysis
Auteur :
Nielson, Flemming / Nielson, Hanne R. / Hankin, Chris
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642084744
Date de publication :
1 déc. 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
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.