Описание тега abstract-interpretation

Формальный метод статического вывода свойств программы. Практически все методы статического анализа можно рассматривать как абстрактную интерпретацию, такую ​​как анализ потока данных, проверка модели, проверка статического типа и т. Д. Она отличается от тестирования и других структур динамического анализа программ, которые определяют или проверяют свойства программы апостериори. Теория абстрактной интерпретации первоначально была предложена Р.Кузо и П.Кузо в их статье POPL 1977 года.