Введение
1 Методы разработки эволюционно-расширяемых программ 16
1.1 Разделение систем программирования по парадигмам 16
1.2 Анализ характеристик, определяющих разработку эволюционно расширяемых программ 21
1.3 Факторы, определяющие построение расширяемых программ 22
1.3.1 Модули с инициализирующими блоками 24
1.3.2 Пространства имен, размещаемые в нескольких единицах компиляции 27
1.3.3 Классы, содержащие конструкторы и деструкторы 27
1.3.4 Технология вертикального слоения 28
1.3.5 Наследование и виртуализация 29
1.3.6 Технология вспомогательных классов 30
1.3.7 Метапрограммирование 31
1.3.8 Аспект ориентированное программирование 32
1.3.9 Субъектно-ориентированное программирование 33
1.3.10 Связывание через интерфейсы 34
1.4 Моделирование методов формирования процедурно-параметрических отношений 35
1.4.1 Алгоритмы, базирующиеся на объектно-ориентированной парадигме 36
1.4.2 Использование процедурного подхода для построения эволюционно расширяемых мультиметодов .. 37
1.4.3 Сравнение объектно-ориентированной и процедурно-параметрической реализаций полиморфизма 39
1.5 Перспективы развития инструментальных средств разработки эволюционно расширяемых программ 42
1.6 Выводы по главе 1 43
2 Методы организации программных объектов, поддерживающих процедурно-параметрическое программирование 45
2.1 Используемые понятия и определения 46
2.1.1 Данные обрабатываемые программой 46
2.1.2 Значения данных 47
2.1.3 Процедуры, используемые для обработки программных объектов 48
2.1.4 Вызовы процедур 50
2.2 Задача эволюционного расширения мультиметодов 51
2.3 Эволюционное расширение мультиметодов в различных парадигмах программирования 52
2.3.1 Расширение мультиметодов при процедурном подходе 53
2.3.2 Расширение мультиметодов при объектно-ориентированном подходе 54
2.3.3 Проблемы существующих подходов эволюционной разработки мультиметодов 56
2.4 Основные понятия процедурно-параметрического программирования 57
2.4.1 Организация параметрических обобщений 58
2.4.2 Организация обобщающих параметрических процедур 60
2.4.3 Организация обработчиков параметрических специализаций 61
2.4.4 Экземпляр параметрического обобщения 62
2.4.5 Вызовы параметрических процедур 63
2.5 Классификация механизмов параметрического обобщения 63
2.5.1 Способы построения параметрических обобщений 64
2.5.2 Методы включения специализаций в параметрическое обобщение 68
2.5.3 Методы конструирования обобщений 69
2.5.4 Способы построения параметрических отношений и их отображение на обобщающие и специализированные параметрические процедуры 73
2.5.5 Способы формирования тел обработчиков специализаций 76
2.5.6 Способы связывания комбинаций специализаций с конкретным обработчиком 77
2.5.7 Фазы формирования параметрических обобщений 77
2.6 Выводы по главе 2 80
3 Описание синтаксиса языка программирования с поддержкой процедурно-параметрического полиморфизма 82
3.1 Языковые конструкции, поддерживающие процедурно-параметрическое программирование 82
3.1.1 Организация параметрических обобщений 83
3.1.2 Указатели на параметрические обобщения и специализации 86
3.1.3 Обобщенные переменные 86
3.1.4 Обобщающие процедуры и обработчики специализаций 87
3.1.5 Вызовы обобщающих процедур 89
3.1.6 Оператор WITH 90
3.2 Организация трансляции процедурно-параметрических программ 91
3.3 Использование языка для решения задачи эволюционного расширения 94
3.3.1 Разработка основной части программы 94
3.3.2 Проявление полиморфизма в клиентском модуле 101
3.4 Выводы по главе 3 104
4 Инструментальная поддержка процедурно-параметрической парадигмы программирования 105
4.1 Оценка эффективности реализации поддержки процедурно-параметрической парадигмы программирования 105
4.2 Методы повышения эффективности реализации ППП 108
4.3 Инструменты процедурно-параметрического программирования 109
4.3.1 Транслятор сязыка 110
4.3.2 Компоновщик параметрических отношений 111
4.3.3 Сборщик проектов 113
4.3.4 Оболочка пользователя 115
4.3 Выводы по главе 4 117
Заключение 118
Список использованных источников 120
