В информатике граф абстрактной семантики ( ГАС ) называется структура данных, используемая для представления или извлечения семантики выражения на формальном языке (например, на языке программирования).

Граф абстрактной семантики — это более высокий уровень абстракции, чем дерево абстрактного синтаксиса (ДАС) , которое используется для описания синтаксической структуры выражения или программы.

Граф абстрактной семантики обычно конструируется из дерева абстрактного синтаксиса процессом обогащения и абстрагирования. Обогащением может быть, например, добавление обратных указателей, рёбер из вершины идентификатора (где используется переменная) в вершину, соответствующую объявлению этой переменной. Абстрагирование может включать удаление деталей, которые нужны только для синтаксического, но не семантического анализа.

Внешние ссылки

• Статья « (недоступная ссылка с 13-05-2013 [3901 день] — ) »
• Работа « » Авторы: , and
• Работа « (недоступная ссылка с 13-05-2013 [3901 день] — ) » by and
• Работа « »