Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++диссертация
-
Научный руководитель:
Белеванцев А.А.
-
Автор:
Бородин А.Е.
-
Дата защиты:
16 июня 2016 года
-
Шифр диссертационного совета:
Д 002.087.01
-
Организация:
ИСП РАН
-
Область знаний:
Физика и математика
-
Специальность:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
-
Тип диссертации:
Кандидатская
-
Добавил в систему:
Белеванцев Андрей Андреевич