Сусленков12мая26

Докладчик: Павел Сусленков (студент ММФ НГУ) Тема: Cемантический анализ интервальных конгруэнтностей Аннотация: Доклад посвящён изложению результатов работы Ф. Мадюпюи (1995) по созданию нового метода статического анализа целочисленных переменных программ — семантического анализа интервальных конгруэнтностей. В основе метода лежит аппарат абстрактной интерпретации (Кузо). Автор решает проблему синтеза двух классических, но независимых подходов: интервального анализа (дающего диапазоны значений) и анализа отношений конгруэнтности (дающего периодические свойства вида x≡a(modb)). Предлагаемый единый абстрактный домен интервальных конгруэнтностей (IC) обобщает оба подхода. В докладе вводятся множества CC и IC, функции абстракции и конкретизации, оператор расширения.