Abstract interpretation [1]} is a framework for static analysis in which the objects of study are called domains. As general as the definitions in this section are, they fail to capture the full generality of abstract interpretation. However, they are sufficient for most purposes – at least for imperative languages.

Абстрактная интерпретация [1] - это фреймворк для статического анализа, в котором объектами исследования являются так называемые домены. Несмотря на общую формулировку определений в данном разделе, они не охватывают всю полноту абстрактной интерпретации. Однако, они достаточны для большинства целей, по крайней мере, для императивных языков.