Related Work

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2628)


P. and R. Cousot [31] pioneered abstract interpretation as a theory of semantic approximation for systematic data and control flow analysis of sequential programs. In abstract interpretation a program denotes computations in some universe of objects. According to [31] abstract interpretation can be considered as a mathematical theory to unify many program analyses. Moreover, abstract interpretation commonly achieves only useful results if substantially customized for particular applications.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Personalised recommendations