Диссертация (1150733), страница 22
Текст из файла (страница 22)
Molnar, N. Bjorner // ACM SIGPLAN Notices. — 2012. — Vol. 47, no. 1. — P. 137–150.106. D’Antoni, L. Minimization of symbolic automata / L. D’Antoni, M. Veanes //ACM SIGPLAN Notices / ACM. — Vol. 49. — 2014. — P. 541–553.123Список рисунков1Пример GSS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332Пример SPPF для грамматики 1 и входа ABC . .
. . . . . . . . . . 343Архитектура платформы YaccConstructor . . . . . . . . . . . . . . . 394Конечный автомат, задающий регулярную аппроксимацию выражения expr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 525Конечное представление леса разбора для выражения expr . . . .
536Дерево вывода для выражения = ”()” . . . . . . . . . . . . . . 547Дерево вывода для выражения = ”()()” . . . . . . . . . . . . . 548Дерево вывода для выражения = ”()()()” . . . . . . . . . . . . 559Диаграмма последовательности обработки встроенных языков . . . 6010Архитектура SDK . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 6011Архитектура лексического анализатора . . . . . . . . . . . . . . . . 6212Архитектура синтаксического анализатора . . . . . . . . . . . . . . 6313Один из возможных вариантов использования SDK в проектах пореинжинирингу . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 7214Основные шаги метода обработки встроенных языков и их результаты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7615Распределение запросов по времени анализа . . . . .
. . . . . . . . 9216Базовый блок без циклов при ℎℎ = 3 . . . . . . . . . . . . . . . 9417Базовый блок, содержащий цикл, при ℎℎ = 3 . . . . . . . . . . . 9418Зависимость времени работы алгоритма от размера входного графа при = . . . . . . . . . . . . . . . . . . . . . . . . . 9519Зависимость времени работы алгоритма от размера входного графа и наличия в нем циклов при ℎℎ = 4 . .
. . . . . . . . . . . . 9612420ВходнойграфдлясинтаксическогоанализаторанабазеYC.SEL.SDK при ℎℎ = 2 и двух повторениях базового блока . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9721Сравнение производительности Alvor и синтаксического анализатора на базе YC.SEL.SDK . . . . . . . . . . . . . . . . . . .
. . . . . 9822Пример подсветки синтаксиса для нескольких встроенных языков:SQL и Calc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10023Пример подсветки парных скобок . . . . . . . . . . . . . . . . . . . 10124Пример статического обнаружения семантических ошибок дляязыка Calc . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 10125Пример межпроцедурной обработки встроенных языков . . . . . . 10126Структура пакетов расширений для ReSharper, предоставляющихподдержку встроенных T-SQL и Calc . . . . . . . . . . . . . . . . . 102125Список таблиц1Основные шаги по подготовке к реинжинирингу системы, содержащей строковые выражения .
. . . . . . . . . . . . . . . . . . . . . 762Эксперименты по оценке производительности алгоритма синтаксического анализа динамически формируемых программ . . . . . . 893Эксперименты по оценке архитектуры YC.SEL.SDK . . . . . . . . . 904Распределение динамически формируемых SQL-запросов по времени обработки . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 915Пример отчёта по результатам запуска синтаксического анализа впроекте “S2O” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 936Результаты сравнения производительности Alvor и синтаксического анализатора на базе YC.SEL.SDK . . . . . . . . . .
. . . . . . . . 997Критерии сравнения инструментов анализа динамически формируемых строковых выражений . . . . . . . . . . . . . . . . . . . . . 1068Сравнение инструментов анализа динамически формируемыхстроковых выражений . . . . . . . . . . . . . . . . . . . . . . . . . . 107.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
