Схема с косвенной адресацией

Схема с косвенной адресацией (Scheme with indirect addressing) - При рассмотрении среди переменных особых величин - указателей, значениями которых являются имена других переменных (в частности, указателей), - возникают две новые операции: именования (присваивания указателю имени переменной) и разыменования (выборки имени переменной как значения указателя). В соответствии с этим можно рассматривать в схемах программ интерпретированные операторы именования и разыменования, каждый из которых имеет одного преемника, один вход и один выход. Входы операторов именования и выходы операторов разыменования называются фиктивными. Схема с косвенной адресацией - это тройка $(G,J,R)$, в которой $G$ - управляющий граф, $J$ - информационный граф, дуги которого исходят из фиктивных выходов, а $R$ - раскраска, ставящая в соответствие переменные тем операндам, которые не имеют инцидентных дуг в $J$.

Основной вопрос в исследовании схемы с косвенной адресацией состоит в нахождении покрывающих множеств для аргументов и результатов операторов и информационных связей схемы.

Другое название - КА-Схема.

См. также

Крупноблочная схема программ, Неинтерпретированные схемы, Стандартные схемы, Схема программ, Схема с распределенной памятью, Схемы Мартынюка.

Литература

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