Теория схем программ

Abstract

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