Н. В. Сороковиков, “Создание системы типов для семейства языков ассемблера”, ПДМ. Приложение, 2018, выпуск 11,страницы 136

Математические основы информатики и программирования

Создание системы типов для семейства языков ассемблера

Н. В. Сороковиков

Кафедра защиты информации и криптографии Национального исследовательского Томского государственного университета, г. Томск

Аннотация: Строится система типов для семейства языков ассемблера, в том числе формально определяются команды, программы и термы языка. Показывается разрешимость задач населённости и проверки типа для ассемблеров с командами mov и jz.

Ключевые слова: система типов, ассемблер, статический анализ, бинарные приложения.

УДК: 004.431.4

DOI: 10.17223/2226308X/11/42