| |
Падарян, В. А.
Моделирование операционной семантики машинных инструкций [Текст] / В. А. Падарян, М. А. Соловьев, А. И. Кононов
// Программирование. – 2011. – № 3. – С. 50-64.
В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для широкого класса целевых архитектур. |
