государственный университет
Математико-Механический факультет
Кафедра системного программирования
2011
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Инструмент реинжиниринга спецификаций трансляций презентация
Содержание
- 1. Инструмент реинжиниринга спецификаций трансляций
- 2. Предметная область Все ПО, использующее формальные грамматики
- 3. Реинжиниринг грамматик Зачем? Не удовлетворены выбранным генератором
- 4. Постановка задачи Инструмент, позволяющий производить реинжиниринг грамматик
- 5. YaccConstructor Common ExpandMeta ExpandEbnf ExpandBrackets ReplaceLiterals AddEOF
- 6. YaccConstructor Common ExpandMeta ExpandEbnf ExpandBrackets ReplaceLiterals AddEOF
- 7. Применение В пилотном проекте SqlMigration Разработка на
- 8. Результаты Реализован инструмент, позволяющий Транслировать из ANTLR,
Предметная область Все ПО, использующее формальные грамматики Предметно-ориентированные языки Анализаторы кода Разметка Статический анализ Генерация документации Преобразователи кода Препроцессоры Форматирование кода Рефакторинг Трансляция в другой язык
Слайд 1Инструмент реинжиниринга спецификаций трансляций
Константин Андреевич Улитин
Научный руководитель: Я.А. Кириленко
Рецензент: Н.М. Тимофеев
Санкт-Петербургский
Слайд 2Предметная область
Все ПО, использующее формальные грамматики
Предметно-ориентированные языки
Анализаторы кода
Разметка
Статический анализ
Генерация документации
Преобразователи кода
Препроцессоры
Форматирование
кода
Рефакторинг
Трансляция в другой язык
Рефакторинг
Трансляция в другой язык
Слайд 3Реинжиниринг грамматик
Зачем?
Не удовлетворены выбранным генератором анализаторов
Другой класс алгоритма разбора
Неудобный синтаксис
Проблемы с
восстановлением после ошибок
Скорость работы
Как?
Перейти на другой инструмент
Скорость работы
Как?
Перейти на другой инструмент
Слайд 4Постановка задачи
Инструмент, позволяющий производить реинжиниринг грамматик
Трансляция в другой формат
Для ухода от
проблем выбранного инструмента
Для переиспользования разработанных грамматик
Более удобная разработка, отладка
Для переиспользования разработанных грамматик
Более удобная разработка, отладка
Слайд 5YaccConstructor
Common
ExpandMeta
ExpandEbnf
ExpandBrackets
ReplaceLiterals
AddEOF
BuildAST
Внутреннее представление
YardFrontend
FsYaccFrontend
IronyFrontend
AntlrFrontend
RACC
FsYaccPrinter
YardPrinter
FParsecPrinter
Слайд 6YaccConstructor
Common
ExpandMeta
ExpandEbnf
ExpandBrackets
ReplaceLiterals
AddEOF
BuildAST
LeaveLast
AddAlter
Внутреннее представление
YardFrontend
FsYaccFrontend
IronyFrontend
AntlrFrontend
RACC
FsYaccPrinter
YardPrinter
FParsecPrinter
LINKER
Слайд 7Применение
В пилотном проекте SqlMigration
Разработка на языке Yard с трансляцией в FsYacc
Не
нужно писать атрибуты
Модульность грамматики
Модульность грамматики
LINKER
proc.yrd
common.yrd
sql_stmt.yrd
YardFrontend
YardFrontend
YardFrontend
FsYaccPrinter
ExpandMeta
BuildAST
ExpandEbnf
ExpandBrackets
ReplaceLiterals
AddEOF
parser.fsy
Слайд 8Результаты
Реализован инструмент, позволяющий
Транслировать из ANTLR, FsYacc в Yard, FsYacc
Генерировать атрибуты, строящие
AST
Задавать грамматику в нескольких файлах
Проведена апробация в проекте SqlMigration
Результаты представлены на конференциях «Технологии MS в теории и практике программирования» (диплом 1 степени) и «СПИСОК» 2011г.
Задавать грамматику в нескольких файлах
Проведена апробация в проекте SqlMigration
Результаты представлены на конференциях «Технологии MS в теории и практике программирования» (диплом 1 степени) и «СПИСОК» 2011г.
