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

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Создание системы типов для семейства языков ассемблера	536 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/2226308X/11/42

Title: Создание системы типов для семейства языков ассемблера
Creator: Сороковиков, Никита Викторович
Date: 2018
DOI: 10.17223/2226308X/11/42
Description: Строится система типов для семейства языков ассемблера, в том числе формально определяются команды, программы и термы языка. Показывается разрешимость задач населённости и проверки типа для ассемблеров с командами mov и jz.