Расширенный атрибутивный метод спецификации семантики для реализации языка программирования задач реального времени

СОДЕРЖАНИЕ
ВВЕДШИЕ
1. СЕМАНТИЧЕСКИЕ АСПЕКТЫ РЕАЛИЗАЦИИ ТРАНСЛЯТОРОВ
ФОРМАЛЬНЫХ ЯЗЫКОВ.
1.1. Методы и средства создания трансляторов
1.2. Формализация семантических описаний .
1.3. Структура семантического процессора .
1.4. Метасемантический язык
2. ИССЛЕДОВАНИЕ ШЕШНЕЙ СРЕДЫ ТРАНСЛЯТОРА.
2.1. Общая характеристика входного языка .
2.2. Стандартные средства объектного уровня
2.3. Уровень виртуальной исполнительной среды.
3. ФОРМАЛЬНАЯ СЕМАНТИКА ОБЩЕАЛГЭРИТШЧЕСКИХ СРЕДСТВ.
3.1. Структуры данных
3.2. Основные управляющие структуры .
3.3. Метапрограммирование общеалгоритмических средств
4. ФОРМАЛЬНАЯ СЕМАНТИКА СРЕДСТВ ВЗАИМОДЕЙСТВУЯ
С ОПЕРАЦИОННОЙ СРЕДОЙ .О
4.1. Супервизорное управление в реальном масштабе времени
4.2. Средства обмена .
4.3. Метапрограммирование средств взаимодействия
с операционной средой .
5. ИССЛЕДОВАНИЕ РЕАЛИЗАЦИИ СЕМАНТИЧЕСКИХ ПРОЦЕДУР.
5.1. Архитектура комплекса семантических процедур Ц
5.2. Технология генерации транслятора
5.3. Количественные оценки и вопросы оптимизации .
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА