Authors: Сороковиков, Никита Викторович

Source: Прикладная дискретная математика. Приложение. 2018. № 11. С. 136-138

Type: статьи в журналах

Date: 2018

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

Authors: Грачева, Екатерина Юрьевна | Товштейн, Марк Яковлевич

Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 71-73

Type: статьи в журналах

Date: 2017

Description: Ассемблер-программа используется как контейнер для текстового сообщения, которое может закрываться криптографическим шифром. Символы внедряемого текста представляются командами ассемблера (например, A ... More

Authors: Грибанов, Андрей Сергеевич | Сибирякова, Валентина Александровна

Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 146-148

Type: статьи в журналах

Date: 2014