Инструментальная поддержка подключаемых модулей в языках процедурно-параметрического программирования

Содержание
Содержание
Введение
1 Анализ методов эволюционного конструирования понятий.
1.1 Обзор общих методов трансформации понятии
1.2 Трансформация понятий при эволюционной разработке программного обеспечения
1.3 Модель трансформации понятий.
1.4 Пример фаз преобразования программы
1.5 Модификация понятий в процессе трансформации исходной программы
1.6 Модель зависимостей понятий
1.7 Графическое представление модели зависимости понятий.
1.8 Описание элементов модели зависимостей понятий.
1.9 Описание исходных зависимостей для различных парадигм программирования.
1. Выводы
2 Анализ методов реализации эволюционного конструирования модульной структуры программы
2.1 Существующие методы организации модульных структур.
2.1.1 Модульное программирование.
2.1.2 Модульность в немодульных языках.
2.2 Трансформация понятий в модульных программах.
2.2.1 Трансформация понятий в языках программирования Оберон и Оберон2.
2.2.2 Трансформация понятий в языке программирования М.
2.3 Особенности применения подключаемых модулей
2.4 Анализ трансформации понятий процедурнопараметрической программы на основе подключаемых модулей
2.4.1 Использование общего промежуточного представления.
2.4.2 Использование раздельной обработки
2.4.3 Использование динамически загружаемых модулей.
2.5 Комбинированные методы организации фаз трансляции процедурнопараметрической программы.
2.6 Выводы
3 Реализация процедурнопараметрического подхода при использовании подключаемых модулей
3.1 Трансформация понятий процедурнопараметрической программы в языке i.
3.2 Трансформация модульной структуры.
3.3 Трансформация параметрических обобщений.
3.4 Трансформация обобщенных записей
3.5 Трансформация обобщающих параметрических процедур и обработчиков специализаций
3.6 Результирующая модель зависимостей
3.7 Выводы
4 Разработка процедурнопараметрического языка, использующего подключаемые модули.
4.1 Инструментальная поддержка процедурнопараметрического языка
4.1.1 Транслятор с языка i
4.1.2 Компоновщик параметрических отношений.
4.2 Объектная модель транслятора
4.2.1 Объекты транслятора.
4.2.2 Промежуточная модель
4.2.3 Xпредставление
4.3 Организация массивов
4.3.1 Обычные массивы.
4.3.2 Открытые массивы
4.4 Выводы
Заключение
Список использованных источников