4625
правок
Схема программ: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Схема программ''' (''[[Program schemata]]'') | '''Схема программ''' (''[[Program schemata]]'') — | ||
математическая модель программ, в которой такие понятия, как | математическая модель программ, в которой такие понятия, как | ||
оператор, операнд, переменная, выполнение и т.д., являются | оператор, операнд, переменная, выполнение и т.д., являются | ||
| Строка 7: | Строка 7: | ||
исходя из общей концепции необходимости и возможности | исходя из общей концепции необходимости и возможности | ||
формализации процесса программирования. В настоящее время | формализации процесса программирования. В настоящее время | ||
теория схем программ | теория схем программ — это широко разветвленная область | ||
исследования, которая имеет многочисленные выходы в практику | исследования, которая имеет многочисленные выходы в практику | ||
программирования и содержит фундаментальные результаты не | программирования и содержит фундаментальные результаты не | ||
| Строка 26: | Строка 26: | ||
семантических моделях программ с целью построения полных | семантических моделях программ с целью построения полных | ||
систем эквивалентных преобразований. ''Семантическая'' | систем эквивалентных преобразований. ''Семантическая'' | ||
модель программы | модель программы — это множество схем с введенным в нем | ||
отношением эквивалентности. При переходе к схеме конкретные | отношением эквивалентности. При переходе к схеме конкретные | ||
объекты программы (такие как, например, переменные, | объекты программы (такие как, например, переменные, | ||
| Строка 87: | Строка 87: | ||
==См. также == | ==См. также == | ||
''[[Крупноблочная схема программ]], [[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Мартынюка]].'' | * ''[[Крупноблочная схема программ]],'' | ||
* ''[[Неинтерпретированные схемы]],'' | |||
* ''[[Стандартные схемы]],'' | |||
* ''[[Схема с косвенной адресацией]],'' | |||
* ''[[Схема с распределенной памятью]],'' | |||
* ''[[Схемы Мартынюка]].'' | |||
==Литература== | ==Литература== | ||
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977. | |||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | |||
[[Категория:Теория схем программ]] | [[Категория:Теория схем программ]] | ||