Граф косвенной адресации

Граф косвенной адресации (Indirect adressing graph) — граф, вершинами которого являются информационные объекты (переменные, константы и т.д.) программы или (схемы программы), а дуги помечены типами отношений и отражают наличие соответствующего типа отношений между объектами. Граф может сопоставляться либо со всей программой (схемой программы) целиком, если все кодируемые отношения являются статическими, т.е. не меняются в процессе выполнения (схемы) программы, либо с отдельными ее точками, если отношения динамические. Примером статического отношения является отношение между частичной переменной и полной переменной, частью которой она является, а динамического — равенства переменной некоторой константе.

Другое название — КА-Граф.

Литература

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.