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

Доморацкий Э.А. (науч. рук. Булычев Д.Ю.) Использование статической типизации для статического анализа динамических языков // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/12646