1279
правок
Схемы Мартынюка: различия между версиями
Материал из WikiGrapp
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показаны 4 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
[[Файл:Martynyuk schemata.gif|200px|right]] | [[Файл:Martynyuk schemata.gif|200px|right]] | ||
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') | '''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') — | ||
подкласс ''неинтерпретированных схем'', | подкласс ''неинтерпретированных схем'', | ||
в которых не содержится | в которых не содержится | ||
| Строка 15: | Строка 15: | ||
здесь разрешима. | здесь разрешима. | ||
Схемы Мартынюка | Схемы Мартынюка — основная модель программы при решении | ||
задач анализа потока управления в программе. | задач анализа потока управления в программе. | ||
==См. также == | ==См. также == | ||
''[[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Лаврова]], [[Схемы Янова]], [[Управляющий граф]].'' | * ''[[Стандартные схемы]],'' | ||
* ''[[Схема программ]],'' | |||
* ''[[Схема с косвенной адресацией]],'' | |||
* ''[[Схема с распределенной памятью]],'' | |||
* ''[[Схемы Лаврова]],'' | |||
* ''[[Схемы Янова]],'' | |||
* ''[[Управляющий граф]].'' | |||
==Литература== | ==Литература== | ||
[ | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
* Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. – СПб.: БХВ-Петербург, 2003. | |||
[[Категория:Теория схем программ]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] | |||
