Институт системного программирования им. В.П. Иванникова РАН


Моделирование операционной семантики машинных инструкций.

Авторы

В.А. Падарян, М.А. Соловьев, А.И. Кононов.

Аннотация

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

Полный текст статьи в формате pdf

Издание

Журнал "Программирование", №3, 2011.

Научная группа

Компиляторные технологии

Все публикации за 2011 год Все публикации