4624
правки
Крупноблочная схема программ: различия между версиями
Материал из WikiGrapp
Крупноблочная схема программ (посмотреть исходный код)
Версия от 12:46, 16 ноября 2009
, 16 ноября 2009нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Крупноблочная схема программ''' (''Large-block program schemata'') - операторная ''схема п...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Крупноблочная схема программ''' (''Large-block program schemata'') - | '''Крупноблочная схема программ''' (''[[Large-block program schemata]]'') - | ||
операторная ''схема программ'', которая рассматривает моделируемую программу в виде совокупности структурных операторов, обрабатывающих структурные значения совокупности переменных. Введена в литературу В.Н.Касьяновым в 1980 г. | операторная ''схема программ'', которая рассматривает моделируемую программу в виде совокупности структурных операторов, обрабатывающих структурные значения совокупности переменных. Введена в литературу В.Н.Касьяновым в 1980 г. | ||
| Строка 7: | Строка 7: | ||
в которой <math>G_{\alpha}</math> --- | в которой <math>G_{\alpha}</math> --- | ||
''управляющий граф'' (''уграф''), <math>R_{\alpha}</math> --- раскраска операндов операторов из <math>G_{\alpha},</math> сопоставляющая с каждым операндом некоторую переменную, а <math>\Omega_{\alpha}</math> --- множество интерпретаций. | ''[[управляющий граф]]'' (''уграф''), <math>R_{\alpha}</math> --- раскраска операндов операторов из <math>G_{\alpha},</math> сопоставляющая с каждым операндом некоторую переменную, а <math>\Omega_{\alpha}</math> --- множество интерпретаций. | ||
Переменные, поставленные в соответствие входам операторов, называются их ''аргументами'', а выходам --- ''результатами''. Аргументы и результаты разделяются на ''обязательные'' и ''необязательные'' в зависимости от того, являются ли таковыми операнды, с которыми они сопоставлены. | Переменные, поставленные в соответствие входам операторов, называются их ''аргументами'', а выходам --- ''результатами''. Аргументы и результаты разделяются на ''обязательные'' и ''необязательные'' в зависимости от того, являются ли таковыми операнды, с которыми они сопоставлены. | ||
| Строка 22: | Строка 22: | ||
Крупноблочная модель программ вместе с концепцией крупноблочного моделирования одних схем другими дает единую позицию для комплексного исследования оптимизирующих преобразований программ со структурами данных и действий и их применения в системах конструирования программ. Существенными свойствами, отличающими класс крупноблочных схем от других моделей программ, являются его универсальность в смысле широты описания класса последовательных программ и способов их оптимизации, а также его полнота --- возможность построения по любой крупноблочной схеме (в частности, программе) и любому ее укрупнению операторов и переменных такой другой крупноблочной схемы, которая моделирует исходную при заданном ее укрупнении. | Крупноблочная модель программ вместе с концепцией крупноблочного моделирования одних схем другими дает единую позицию для комплексного исследования оптимизирующих преобразований программ со структурами данных и действий и их применения в системах конструирования программ. Существенными свойствами, отличающими класс крупноблочных схем от других моделей программ, являются его универсальность в смысле широты описания класса последовательных программ и способов их оптимизации, а также его полнота --- возможность построения по любой крупноблочной схеме (в частности, программе) и любому ее укрупнению операторов и переменных такой другой крупноблочной схемы, которая моделирует исходную при заданном ее укрупнении. | ||
См. также ''Неинтерпретированные схемы, Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Мартынюка.'' | См. также ''[[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Мартынюка]].'' | ||
==Литература== | ==Литература== | ||
[Касьянов/88], | [Касьянов/88], | ||
[Касьянов/86] | [Касьянов/86] | ||
