P. and R. Cousot  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  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.