Автоматизация разработки динамического двоичного транслятора на базе спецификаций семантики набора командтезисы доклада