Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2016, том 28, выпуск 5, страницы 239–268
DOI: https://doi.org/10.15514/ISPRAS-2016-28(5)-15 (Mi tisp79) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных

А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов

Институт динамики систем и теории управления имени Матросова СО РАН
PDF полного текста (1148 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2016-28(5)-15
Аннотация: Язык FlexT разработан для спецификации бинарных форматов данных. Язык является декларативным, рассчитанным на хорошее восприятие человеком, его основными конструкциями являются определения типов данных, которые напоминают определения типов в императивных языках программирования, но являются более гибкими. В работе сделан обзор возможностей современных проектов, направленных на спецификацию бинарных форматов файлов. Далее рассматриваются особенности языка FlexT, отдельно описываются возможности языка, позволяющие работать с форматами кодирования машинных команд. Кратко описаны реализованные программные системы, использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые даёт использование спецификаций.
Ключевые слова: спецификация бинарных форматов данных, спецификация кодирования машинных команд, декларативный язык, дизассемблер.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов, “Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных”, Труды ИСП РАН, 28:5 (2016), 239–268
Цитирование в формате AMSBIB
\RBibitem{KhmBycMik16}
\by А.~Е.~Хмельнов, И.~В.~Бычков, А.~А.~Михайлов
\paper Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 5
\pages 239--268
\mathnet{http://mi.mathnet.ru/tisp79}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(5)-15}
\elib{https://elibrary.ru/item.asp?id=27679163}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp79
  • https://www.mathnet.ru/rus/tisp/v28/i5/p239
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:222
    PDF полного текста:176
    Список литературы:36
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024