Средства программного описания функциональной архитектуры и их языковая реализация Лельчук, Татьяна Иосифовна

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

Лельчук, Татьяна Иосифовна.Средства программного описания функциональной архитектуры и их языковая реализация : диссертация ... кандидата физико-математических наук : 01.01.10. - Новосибирск, 1984. - 103 с. : ил.

Оглавление диссертациикандидат физико-математических наук Лельчук, Татьяна Иосифовна
ВВЕДЕНИЕ.
ГЛАВА I. Модель параллельных асинхронных вычислений
1.1. Требования к модели вычислений
1.2. Определение модели
1.3. Правила структурирования объектов.
1.4. Именование объектов.
1.5. Интерпретирующие операции.
ГЛАВА 2. Подмодель структурирования и . логического представления значений
2.1. Деревья и операции над ними.
2.2. Память
2.3. Конструктивы, порождающие дерезья.
2.4. Представление деревьев в памяти.
2.5. Операции над памятью.
ГЛАВА 3. Подмодель управления вычислениями.
3.1. Статические объекты подмодели: ресурсы и модули.
3.2. Динамические объекты подмодели - процессы.
3.3. Система управления вычислениями.
3.4. Представление объектов подмодели в памяти.
ГЛАВА 4. Язык параллельного асинхронного программирования
Поляр.
4.1. Структуры данных
4.2. Процедуры.
4.3. Типы с програшдируемым доступом.
4.4. Переменные.
4.5. Управляющие операторы.
4.6. Управляющие типы и сетевое управление.
4.7. Пакеты.
ГЛАВА 5. Полщьпрограммы и их анализ.
5.1. Примеры программ на Поляре
5.2. Соответствие между структурированными сетями и объектами модели вычислений.
5.3. Моделирование статического управления Поляр-программ сетями.
ЗА1ШЗЧЕШЕ.