Целью данного курса является знакомство студентов с одной из важнейших методологий в области формальных методов теорией абстрактной интерпретации, которая
служит прочным основанием для работы с семантикой программ. Семантика программы – описание возможных «поведений» программы на возможных входных данных. Такая общая формулировка сразу порождает много вопросов, ответы на которые будут даны в этом курсе. В частности, демонстрирует возможные подходы к применимому на практике семантическому анализу программ.

Теория абстрактной интерпретации интересна и с других точек зрения, например, она демонстрирует, каким образом можно определить семантику (придать смысл) вычислений над нечисловыми областями. Целью освоения дисциплины «Введение в абстрактную интерпретацию» является получение базовых знаний, необходимых выпускникам, для самостоятельной работы в сферах будущей научно-исследовательской, технической и производственной деятельности, связанных с вопросами повышения производительности и надежности программного обеспечения.

Задачами курса являются получение студентами:
1) знаний об основных теоретических принципах семантического анализа, использующего методологию абстрактной интерпретации;
2) знаний об общих проблемах, возникающих при конструировании алгоритмов семантического анализа, и приемах их преодоления;
3) знаний о типовых примерах семантического анализа.