Схемы Лаврова: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 30: | Строка 30: | ||
[[Категория: Теория схем программ]] | [[Категория: Теория схем программ]] | ||
[[Категория:Граф-модели]] | |||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] |
Текущая версия от 10:59, 5 ноября 2024
Схемы Лаврова (Lavrov schemata) — схемы программ, которые были введены в литературу С.С.Лавровым в 1961 г. в связи с задачей экономии памяти. Являются одной из основных формальных моделей программ, используемых для алгоритмов оптимизации программ. В схемах Лаврова исследуются информационные связи между операторами в условиях неизменности логической структуры программ. Формально они могут определены следующим образом: берется класс крупноблочных схем и рассматриваются в качестве эквивалентных лишь такие схемы, в которых различаться могут только раскраски, причем схемы считаются эквивалентными, если при их реализации схемами с распределенной памятью совпадают информационные графы Р-схем.
См. также
- Неинтерпретированные схемы,
- Стандартные схемы,
- Схема с косвенной адресацией,
- Схемы Мартынюка,
- Схемы Янова.
Литература
- Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.
- Ершов А.П. Избранные труды. — Новосибирск: Наука. Сиб. отд-ние, 1994.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.