Граф косвенной адресации: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Граф косвенной адресации''' (''Indirect adressing graph'') - граф, вершинами которого яв...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Граф косвенной адресации''' (''Indirect adressing graph'') - | '''Граф косвенной адресации''' (''[[Indirect adressing graph]]'') - [[граф]], [[вершина|вершинами]] которого являются информационные объекты (переменные, константы и т.д.) программы или (''схемы программы''), а [[дуга|дуги]] помечены типами отношений и отражают наличие соответствующего типа отношений между объектами. Граф может сопоставляться либо со всей программой (схемой программы) целиком, если все кодируемые отношения являются статическими, т.е. не меняются в процессе выполнения (схемы) программы, либо с отдельными ее точками, если отношения динамические. Примером статического отношения является отношение между частичной переменной и полной переменной, частью которой она является, а динамического --- равенства переменной некоторой константе. | ||
граф, вершинами которого являются информационные объекты | |||
(переменные, константы и т.д.) программы или (''схемы | |||
программы''), а дуги помечены типами отношений и отражают | |||
наличие соответствующего типа отношений между объектами. | |||
Граф может сопоставляться либо со всей программой (схемой | |||
программы) целиком, если все кодируемые отношения являются | |||
статическими, т.е. не меняются в процессе выполнения (схемы) | |||
программы, либо с отдельными ее точками, если отношения | |||
динамические. Примером статического отношения является | |||
отношение между частичной переменной и полной переменной, | |||
частью которой она является, а динамического --- равенства | |||
переменной некоторой константе. | |||
Другое название ---''КА-Граф''. | Другое название ---''[[КА-Граф]]''. | ||
==Литература== | ==Литература== | ||
[Касьянов/88] | [Касьянов/88] | ||
Версия от 18:46, 13 октября 2009
Граф косвенной адресации (Indirect adressing graph) - граф, вершинами которого являются информационные объекты (переменные, константы и т.д.) программы или (схемы программы), а дуги помечены типами отношений и отражают наличие соответствующего типа отношений между объектами. Граф может сопоставляться либо со всей программой (схемой программы) целиком, если все кодируемые отношения являются статическими, т.е. не меняются в процессе выполнения (схемы) программы, либо с отдельными ее точками, если отношения динамические. Примером статического отношения является отношение между частичной переменной и полной переменной, частью которой она является, а динамического --- равенства переменной некоторой константе.
Другое название ---КА-Граф.
Литература
[Касьянов/88]