
Математики МГУ разработали метод ускорения статического анализа программ
На факультете вычислительной математики и кибернетики МГУ предложили новый способ ускорения статического анализа программ. Об этом сообщает Научная Россия, ссылаясь на материалы конференции «Ломоносовские чтения».
Статический анализ оценивает программное обеспечение без его запуска. Для проверки... Далее



