- Абстрактный семантический граф
-
В информатике абстрактным семантическим графом (АСГ) называется структура данных, используемая для представления или извлечения семантики выражения на формальном языке (например, на языке программирования).
Абстрактный семантический граф — это более высокий уровень абстракции, чем абстрактное синтаксическое дерево (АСД), которое используется для описания синтаксической структуры выражения или программы.
Абстрактный семантический граф обычно конструируется из абстрактного синтаксического дерева процессом обогащения и абстрагирования. Обогащением может быть, например, добавление обратных указателей, рёбер из вершины идентификатора (где используется переменная) в вершину, соответствующую объявлению этой переменной. Абстрагирование может включать удаление деталей, которые нужны только для синтаксического, но не семантического анализа.
Внешние ссылки
- Статья «CPPX — C/C++ Fact Extractor» Тома Дина
- Работа «„Generating Testing and Analysis Tools with Aria“» Авторы: Premkumar T. Devanbu, David S. Rosenblum and Alexander L. Wolf
- Работа «Towards Portable Source Code Representations Using XML» by Evan Mamas and Kostas Kontogiannis
- Работа «Dex: a semantic-graph differencing tool for studying changes in large code bases»
Категория:- Формальные языки
Wikimedia Foundation. 2010.