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