Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ — hi схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования.
Пля спетгаалистпв в области пнсЬопматики и прикладной математики.