[Текст] : монография / В.Е.
Котов; АН СССР, Сиб. отд-ние, Вычисл. центр; Отв. ред. А.П. Ершов. - Новосибирск : Наука, 1978. - 257 с. : ил. - Библиогр.: с.249-254. - Предм. указ.: с.255-257. - 1.70 р.
Аннотация: Теория схем программ - один из разделов теоретического программирования - изучает те структурные свойства и преобразования программ, которые отличают их от других способов задания алгоритмов. Главный объект исследований - схема программы, математическая модель программы, в которой отображено взаимодействие информационной и логической структур программы. Монография представляет собой систематическое изложение основных понятий теории схем, ее главных проблем и результатов, ставших классическими. Основное внимание концентрируется на наиболее полно изученном классе схем - стандартных схемах - и на фундаментальной проблеме теории схем - проблеме эквивалентности. Рассматриваются также другие классы схем (рекурсивные схемы, различные обобщения стандартных схем) и проблема взаимной трансляции этих классов. Книга ориентирована на широкий круг специалистов по системному и теоретическому программированию, она будет полезна также студентам и аспирантам, готовящимся к работе в этой области.
Держатели документа: ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
