Синтез циклических программ над многомерными структурами данных Чирас, Витаутас Александрович

Краткое описание

Чирас, Витаутас Александрович.Синтез циклических программ над многомерными структурами данных : диссертация ... кандидата физико-математических наук : 01.01.10. - Москва, 1984. - 168 с. : ил.

Оглавление диссертациикандидат физико-математических наук Чирас, Витаутас Александрович
ВВЕДЕНИЕ.
ГЛАВА I. СТРУКТУРНАЯ СЕМАНТИКА ОПЕРАТОРОВ.
§1.1. Семантика присваивания. •
§ 1.2. Семантика следования .••.••.,.•.•.•«
§ 1.3. Семантика цикла.
§ 1.4, Семантика выбора
ГЛАВА 2. СТРУКТУРНАЯ СЕМАНТИКА МОДУЛЯ.
§2.1. Семантика вычислительного модуля
§2.2, Семантика структурного модуля.
§2.3. Применение структурного модуля к вычислительному
ГЛАВА 3. СИНТЕЗ ЦЕПОЧКИ. ;
§3.1, Структурное сопряжение цепочки. Переходное множество
§ 3.2. Язык структурной семантики класса модулей
3.2.1. Язык класса вычислительных модулей .,,
3.2.2. Язык класса структурных модулей ,,,.
§3.3. Алгоритмы синтеза структурного сопряжения . ;
3.3.1, Сопряжение цепочки из одного структурного модуля
3.3.2, Роль параметров в синтезируемых переходных множествах
3.3.3, Алгоритм установления сходства внешнего шаблона и переходного множества
§ 3.4. Примеры.
3.4.1. Пример I.
3.4.2. Пример 2.
3.4.3. Пример 3.
3.4.4. Пример