Разработка алгоритмов и инструмента статического анализа программ на языках с динамической типизацией

Начало проекта – 2010 год.

В рамках исследовательских работ в 2010 году начато исследование методов статического анализа программ на языках с динамической типизацией. Создан прототип инструмента, позволяющий проводить вывод типов для программ на языке Python. В настоящее время проект временно заморожен.

Исполнитель

Системное программирование

Перейти к списку всех проектов