Модели и реализация транслирующих компонентов системы функционального программирования

• Автор: Стасенко, Александр Павлович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Новосибирск
• Количество страниц: 231 с. : ил.

1. Язык Sisal 3
1.1. Потоковые языки программирования
1.2. История развития языка Sisal
1.2.1. Язык Val
1.2.2. Sisal 1
1.2.3. Sisal 2
1.2.4. Sisal
1.2.5. Sisal 3
1.3. Нововведения языка Sisal 3
1.3.1. Пользовательские типы
1.3.2. Другие нововведения
1.4. Ограничения языка Sisal 3
1.5. Анализ изменений в языке Sisal 3
1.5.1. Улучшение межъязыкового взаимодействия с языком Си
1.5.2. Повышение читаемости программ
1.5.3. Упрощение синтаксического разбора
1.5.4. Устранение неоднозначностей синтаксического разбора
1.5.5. Улучшение синтаксиса
Выводы по главе
2. Первое внутреннее представление IR1
2.1. Требования к внутреннему представлению
2.2. Обзор промежуточных представлений программ
2.2.1. Модель потока данных Дениса
2.2.2. Расширяемая модель расширяемого языка Берса
2.2.3. Модель вычислений языка Пифагор
2.3. Описание языка промежуточной формы 1F1
2.3.1. Основные понятия
2.3.2. Задание последовательного выполнения
2.3.3. Альтернатива
2.3.4. Итерация
2.4. Модель внутреннего представления IR1
2.4.1. Моделирование языково-иезависимых понятий языка 1F1
2.4.2. Система интерфейсов модели
2.5. Система дополнительных интерфейсов
2.5.1. Преобразование IR1 в XML и обратно
2.5.2. Визуализация IR1 в ActiveX компоненте
Выводы по главе
3. Графический метаязык описания транслятора
3.1. Обзор методов построения трансляторов
3.1.1. Нисходящие методы
3.1.2. Восходящие методы
3.1.3. Заключение по существующим методам
3.2. Модель упрощенного магазинного автомата
3.2.1. Определение модели
3.2.2. Недетерминированный автомат Ч'
3.2.3. Устранение с-переходов в детерминированном автомате Ч;
3.2.4. Связь с классами грамматик
3.2.5. Связь с классами языков
3.3. Представление модели, основанное на графе
3.3.1. Определение схемы Ч'
3.3.2. Применение схемы Ч'
3.3.3. Достоинства подхода
3.4. Расширения графического метаязыка
3.4.1. Семантически-зависимые переходы
3.4.2. Иерархическая обработка неопределенностей
3.5. Описание транслятора
3.6. Преобразование к интерпретируемой форме
3.6.1. Устранение мнимых дуг
3.6.2. Удаление недостижимых состояний

3.6.3. Оптимизация тестовых условий на дугах
3.6.4. Минимизация автомата анализатора
3.6.5. Разворачивание нециклических зависимостей
3.7. Адаптивная оптимизация интерпретации
Выводы по главе
4. Трансляция из Sisal 3.1 в IR1
4.1. Обзор существующих компиляторов языка Sisal
4.1.1. Компилятор OSC
4.1.2. Компилятор PSC
4.1.3. Компилятор D-OSC
4.2. Общая схема транслятора
4.3. Система интерфейсов, задающая транслятор
4.3.1. Требования к системе интерфейсов
4.3.2. Описание системы интерфейсов
4.4. Лексический анализ
4.5. Синтаксический и семантический анализы
4.5.1. Общая структура разбора
4.5.2. Общее описание разбора
4.5.3. Особенности разбора отдельных конструкций языка
4.5.4. Сообщения об ошибках и предупреждениях
4.5.5. Восстановление после ошибок разбора
Выводы по главе
Заключение
Список литературы
Список иллюстраций
Список таблиц
Список утверждений
А1. Описание языка Sisal 3
А 1.1. Общий вид Sisal 3.1 программы
А 1.1.1. Элементы языка Sisal 3

в создаваемом им XML-буфере, используя указанный объект с интерфейсом IPropertyNames и регулируя степень читаемости получаемого XML-текста:
• нет ни разметки XML-текста, ни комментариев;
• нет разметки XML-текста, но есть комментарии;
• есть разметка XML-текста и комментарии.
Для проверки структуры получаемого XML-текста можно использовать XDR-схемы (Xml Data-Reduced) и XSD-схемы (Xml Schema Definition), возвращаемые методами интерфейса IIR1_XML. Также интерфейс содержит метод, очищающий и заполняющий ВП IR1 содержимым данного XML-буфера, используя данный объект IPropertyNames. При возникновении ошибки в структуре или содержании XML-текста, возвращается объект интерфейса IXmlParscError, поясняющий причину ошибки.
2.5.1.2. Другие интерфейсы
Интерфейс IPropertyNames хранит имена ключей строковых свойств, ключей и значений числовых свойств объектов МВП IR1, используемых методами интерфейса IIRI_XML для нахождения ключей и значений по именам, а не по менее устойчивым порядковым номерам. Интерфейс хранит массив элементов с интерфейсом INumPropertyNamcs и число его элементов. Также интерфейс содержит массив имён ключей строковых свойств и число его элементов. Интерфейс INumPropertyNames содержит имя ключа числового свойства, массив имен его перечислимых значений и число его элементов.
Интерфейс IXmlBuffcr содержит непосредственно сам XML-текст и методы записи этого текста в файл и замещения этого текста содержимым файла. Интерфейс IXmlParscError храпит информацию об ошибке разбора XML-текста и содержит: булевский флаг наличия ошибки, код ошибки, позицию от начала текста до места ошибки, номер строки с ошибкой, смещение от начала строки до места ошибки, описание причины ошибки,