-
Максим Резник: сообщение в теме Разрешение имён форума группы Конструирование компиляторов/IDE: 1 г., 6 мес. назад · Просмотр
Вот шаги, которые выполняет Gela (цитата из документации):
проход (Asis.Gela.Resolver) выполняет построение декларативных регионов и разрешение имен, описание неявных определений и вызов процедуры разрешения перегрузок на полных контекстах разрешения перегрузок (ПКРП). Сама процедура разрешения перегрузок требует еще двух проходов по ПКРП. Первый проход снизу вверх определяет наличие единственной интерпретации, второй сверху вниз модифицирует AST и семантические признаки, [...]
-
Максим Резник: сообщение в теме Функциональный подход к атрибутным грамматикам форума группы Конструирование компиляторов/IDE: 1 г., 7 мес. назад · Просмотр
Более полное и, наверное, более понятно описание
Higher order Attribute Grammars, Harald Heinz Vogt
http://people.cs.uu.nl/doaitse/Papers/Theses/Vogt.pdf
(оно же http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.7230) -
Максим Резник: создана тема Функциональный подход к атрибутным грамматикам в форуме группы Конструирование компиляторов/IDE: 1 г., 7 мес. назад · Просмотр
Суть метода в том, чтобы отделить хранение атрибутов от самого синтаксического дерева. Раз в дереве нет атрибутов, то от одинаковых поддеревьев можно избавиться, повторно использовав первое из них и превратив дерево в DAG (ациклический граф). Процесс вычисления атрибутов тогда выглядит так * вместо синтаксического дерева строим DAG. Сделать такое достаточно просто, перед тем, как делать [...]
-
Максим Резник: создана тема Атрибутные грамматики в форуме группы Конструирование компиляторов/IDE: 1 г., 7 мес. назад · Просмотр
Открыв любую книжку по компилятором можно увидеть три главные части фронтенда компилятора: лексический, синтаксический и семантический анализ. Там же предлагаются и методы проведения анализов. Для реализации лексического анализа предлагаются регулярные выражения и конечные автоматы для их распознавания. Для синтаксического анализа – контекстно свободные грамматики, а для семантического – атрибутные грамматики. Если для первых двух существуют [...]
-
Максим Резник: создана новая группа Конструирование компиляторов/IDE 1 г., 7 мес. назад · Просмотр
-
Максим Резник joined the group Ada-Ru 1 г., 7 мес. назад · Просмотр