Автоматическая реализация семантики проблемно-ориентированных языков Пеньям, Яан Эдуардович

Короткий опис

Пеньям, Яан Эдуардович.
Автоматическая реализация семантики проблемно-ориентированных языков : диссертация ... кандидата технических наук : 01.01.10. - Таллин, 1984. - 162 с. : ил.
Оглавление диссертациикандидат технических наук Пеньям, Яан Эдуардович
§ I. ВВЕДЕНИЕ
1.1. Цели исследований . Ц
1.2. Обзор смежных работ
§ 2. АТРИБУТНЫЕ ГРАММАТИКИ. ИЪ
§ 3. СТРУКТУРНЫЙ СИНТЕЗ ПРОГРАММ .2.
3.1. Планирование .2.
3.2. Извлечение программы.2.
§ 4. ДИНАМИЧЕСКАЯ РЕАЛИЗАЦИЯ АТРИБУТНОЙ СЕМАНТИКИ.2-8>
4.1. Динамическая корректность атрибутной схемы.X Ъ
4.2. Вычисление семантики программы.3 2.
§ 5. СТРАТЕГИЯ ВЫЧИСЛЕНИЯ АТРИБУТОВ
5.1. Входные и выходные атрибуты.3?
5.2. Понятие стратегии вычисления атрибутов.42.
5.3. Стратегии визитов.
§ б. КЛАССИФИКАЦИЯ АТРИБУТНЫХ СХЕМ.
6.1. Традиционная классификация атрибутных схем
6.2. Расширенные классы атрибутных схем.5"
6.3. Метод визитов и абсолютно ациклические атрибутные схемы.5" G
§ 7. РЕАЛИЗАЦИЯ МЕТОДА ВИЗИТОВ.5"
7.1. Общая характеристика проблемы.
7.2. Построение вычислительной модели языка.
7.3. Доказательство вычислимости семантики .£>
7.4. Синтез семантического процессора.
§ 8. ЭКСПЕРИМЕНТЫ ПО ПЛАНИРОВАНИЮ ВЫЧИСЛЕНИЯ АТРИБУТОВ.
8.1. Программирование атрибутной грамматики.
8.2. Динамическая реализация.g/j
8.3. Статическая реализация. $5"
8.4. Динамическая реализация языка МИЛАН.
8.5. Статическая реализация языка .32.
8.6. Анализ результатов экспериментов .g J.