Граф косвенной адресации: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Граф косвенной адресации''' (''Indirect adressing graph'') - граф, вершинами которого яв...)
 
Нет описания правки
Строка 1: Строка 1:
'''Граф косвенной адресации''' (''Indirect adressing graph'') -  
'''Граф косвенной адресации''' (''[[Indirect adressing graph]]'') - [[граф]], [[вершина|вершинами]] которого являются информационные объекты (переменные, константы и т.д.) программы или (''схемы программы''), а [[дуга|дуги]] помечены типами отношений и отражают наличие соответствующего типа отношений между объектами. Граф может сопоставляться либо со всей программой (схемой программы) целиком, если все кодируемые отношения являются статическими, т.е. не меняются в процессе выполнения (схемы) программы, либо с отдельными ее точками, если отношения динамические. Примером статического отношения является отношение между частичной переменной и полной переменной, частью которой она является, а динамического --- равенства переменной некоторой константе.
граф, вершинами которого являются информационные объекты
(переменные, константы и т.д.) программы или (''схемы
программы''), а дуги помечены типами отношений и отражают
наличие соответствующего типа отношений между объектами.
Граф может сопоставляться либо со всей программой (схемой
программы) целиком, если все кодируемые отношения являются
статическими, т.е. не меняются в процессе выполнения (схемы)
программы, либо с отдельными ее точками, если отношения
динамические. Примером статического отношения является
отношение между частичной переменной и полной переменной,
частью которой она является, а динамического --- равенства
переменной некоторой константе.


Другое название ---''КА-Граф''.
Другое название ---''[[КА-Граф]]''.
==Литература==
==Литература==
[Касьянов/88]
[Касьянов/88]

Версия от 18:46, 13 октября 2009

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

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

Литература

[Касьянов/88]