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