Логинов Иван Павлович Методы и средства эквивалентного преобразования программ на основе переносимой среды выполнения

Краткое описание

Логинов Иван Павлович Методы и средства эквивалентного преобразования программ на основе переносимой среды выполнения
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Логинов Иван Павлович
РЕФЕРАТ

БУКОРЗУБ

ВВЕДЕНИЕ

ГЛАВА 1 Анализ подходов к обеспечению переносимости программ

1.1 Особенности разработки переносимого программного обеспечения

1.1.1 Понятие переносимого программного обеспечения

1.1.2 Бинарная переносимость приложений

1.1.3 Переносимость на уровне исходного кода

1.1.4 Совместное проектирование встраиваемых вычислительных систем и программного обеспечения

1.2 Средства разработки переносимого программного обеспечения

1.2.1 Принципы построения компиляторов

1.2.2 Настраиваемые и кросс-компиляторы

1.2.3 Языки описания систем команд

1.2.4 Виртуальные среды выполнения программ

ГЛАВА 2 Метод эквивалентного преобразования программ

2.1 Характеристика методов эквивалентного преобразования программ

2.2 Разработка модифицированной двухэтапной модели эквивалентного преобразования программ

2.3 Процедура переноса среды выполнения

2.4 Реализация генератора кода

ГЛАВА 3 Разработка предметно-ориентированного языка описания системы команд

3.1 Требования к языку описания системы команд

3.2 Реализация языка описания системы команды

3.2.1 Структурное представление описания

3.2.2 Детали описания аспектов целевых платформ

3.2.3 Стеки

3.2.4 Набор инструкций

3.2.5 Кодирование полей в составе кода операции

3.2.6 Поведение инструкций (функции)

3.2.7 Мнемоники

3.3 Инструментальное обеспечение языка описания системы команд

ГЛАВА 4 Проектирование и разработка переносимой среды выполнения программ

4.1 Требования к переносимой среде выполнения программ

4.2 Реализация компонентов среды выполнения

4.2.1 Система типов

4.2.2 Подсистема метаданных

4.2.3 Механизм управления памятью

4.2.4 Компоненты отладчика

4.3 Процедура генерации бинарного образа среды выполнения программ

4.4 Организация эксперимента

Заключение

Список сокращений и условных обозначений

Список литературы

Приложение А - грамматика, определяющая ядро языка описания системы команд

Приложение Б - акты о внедрении

Приложение В - тексты публикаций