Исследование и реализация методов структурного синтеза программ Харф, Майт Якобович

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

Харф, Майт Якобович.
Исследование и реализация методов структурного синтеза программ : диссертация ... кандидата технических наук : 01.01.10. - Таллин, 1984. - 122 с. : ил.
Оглавление диссертациикандидат технических наук Харф, Майт Якобович
ВВЕДЕНИЕ.
ГЛАВА I. ОБЗОР МЕТОДОВ СИНТЕЗА ПРОГРАММ
1.1. Дедуктивный подход к синтезу.
1.2. Индуктивный подход к синтезу
1.3. Трансформационный подход к синтезу.
1.'4. Автоматический синтез в пакетах црикладных программ.
ГЛАВА II. МЕТОД СТРУКТУРНОГО СИНТЕЗА ПРОГРАММ.
2.1. Язык условий задач.
2.2. Вычислимость объектов.
2.3. Форма аксиом
2.4. Правила вывода
2.5. Язык программ.
2.6. Синтез программ линейной структуры.
2.6.1. Построение доказательства теоремы
2.6.2. Алгоритм построения доказательства
2.6.3. Оценка сложности
2.7. Синтез ветвящихся программ
2.7.1. Алгоритм построения доказательства
2.7.2. Оценка сложности.
2.8. Синтез црограмм с подпрограммами (первый способ)
2.8.1. Алгоритм построения доказательства
2.8.2. Оценка сложности.
2.9. Синтез программ с подпрограммами (второй способ)
2.9.1. Оценка сложности