Автоматическая реализация семантики проблемно-ориентированных языков

• Автор: Пеньям, Яан Эдуардович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Таллин
• Количество страниц: 162 c. : ил

§ I. ВВЕДЕНИЕ
1.1. Цели исследований
1.2. Обзор смежных работ
§ 2. АТРИБУТНЫЕ ГРАММАТИКИ
§ 3. СТРУКТУРНЫЙ СИНТЕЗ ПРОГРАММ
3.1. Планирование
3.2. Извлечение программы
§ 4. ДИНАМИЧЕСКАЯ РЕАЛИЗАЦИЯ АТРИБУТНОЙ СЕМАНТИКИ
4.1. Динамическая корректность атрибутной схемы
4.2. Вычисление семантики программы
§ 5. СТРАТЕГИЯ ВЫЧИСЛЕНИЯ АТРИБУТОВ
5.1. Входные и выходные атрибуты
5.2. Понятие стратегии вычисления атрибутов
5.3. Стратегии визитов
§ 6. КЛАССИФИКАЦИЯ АТРИБУТНЫХ СХЕМ
6.1. Традиционная классификация атрибутных схем
6.2. Расширенные классы атрибутных схем
6.3. Метод визитов и абсолютно ациклические атрибутные схемы
§ 7. РЕАЛИЗАЦИЯ МЕТОДА ВИЗИТОВ
7.1. Общая характеристика проблемы
7.2. Построение вычислительной модели языка
7.3. Доказательство вычислимости семантики
7.4. Синтез семантического процессора
§ 8. ЭКСПЕРИМЕНТЫ ПО ПЛАНИРОВАНИЮ ВЫЧИСЛЕНИЯ АТРИБУТОВ
8.1. Программирование атрибутной грамматики
8.2. Динамическая реализация

8.3. Статическая реализация
8.4. Динамическая реализация языка МИЛАН
8.5. Статическая реализация языка £2.
8.6. Анализ результатов экспериментов
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЯ:
1. Указатель обозначений
2. Доказательства теорем 6.1-6
3. Доказательство абсолютной ацикличности атрибутной схемы 'So
4. Язык представления синтезированных программ
5. Грамматика языка МИЛАН
6. Вычислительная модель семантики языка МИЛАН 4 2
7. Пример трансляции с языка МИЛАН
8. Синтаксис языка DIF
9. Семантика языка DF
10. Синтезированный семантический процессор
11. Пример трансляции с языка D1 F

§ I. ВВЕДЕНИЕ
1.1. Цели исследований
Актуальность работы. В программировании актуальна проблема повышения эффективности и надежности проблемно-ориентированного математического обеспечения, в том числе трансляторов. Автоматическое создание пакетов прикладных программ (трансляторов)
- это одна из возможностей решения этой задачи.
Каждая система автоматического построения программ должна опираться на некоторое формальное описание семантики программы. Для формального представления языков программирования часто используется аппарат атрибутных грамматик. Однако при применении атрибутных грамматик в качестве языка спецификаций транслятора возникает проблема организации вычисления атрибутов. О построении эффективных алгоритмов вычисления атрибутной семантики в настоящее время публикуется много работ в области методов трансляции, но до сих пор названная проблема не имеет удовлетворительного практического решения. Настоящая работа, в которой для вычисления атрибутов предлагается использование общего метода структурного синтеза программ, направлена на автоматическое построение эффективных трансляторов для сравнительно большого класса атрибутных грамматик.
Цель работы. Задачей данной диссертационной работы является разработка метода реализации семантики проблемно-ориентированных языков программирования на базе структурного синтеза программ и проведение на инструментальной системе ПРИЗ-ЕС экспериментов по автоматическому построению семантических процессоров для небольших языков программирования.

LXj. fjL In(ot') ? j = 1,2,...» Лр •
(2) Если ou-t(°0) = {iXj} , где je{'l)Zr..,rip] и ,
ТО 1п(са) И ir(°0 ДЛЯ К = 0,1, .. , rvp и
f I,2,t««, np •
В этом простом случае семантика всех деревьев вывода в грамматике 6 может быть вычислена по зафиксированной стратегии (являющейся частным случаем метода визитов) L , которая содержит для каждого элементарного дерева р •. X0-»X4Xj,... ХЛр визит С Х0: До-* ТХ01 в виде
•где
- это шаги ( Х0, * ) или С Xj , I ), где j =1,2,... ,ftp . Применяя эту стратегию вычисляются вхождения атрибутов в дерево разбора t , обходя при этом дерево t слева направо и осуществляя визит к каждому поддереву один и только один раз. Описанная стратегия называется проходом дерева разбора.
Используемые типы стратегий для вычисления атрибутов являются основой для классификации атрибутных схем. Например, атрибутные схемы, допускающие вычисление всех вхождений атрибутов в произвольном дереве разбора стратегий L составляют класс однопроходных атрибутных схем (обозначение с -4 LAS). Одним примером атрибутной схемы из класса с - 4 LAS является схема, описанная в начале данного параграфа. Класс с, -4LAS введен Бошманом в [28] . Там же изложен класс с - mLAS - для которого семантика вычислима m проходами дерева разбора.
Стратегии L характерно, что порядок нанесения визитов к подчиненным зафиксирован. Если это требование снимать, получается метод визитов с ограничением, что к каждоцу поддереву