Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №12, Москва, 2003
Авторы: Подловченко Р.И., Долгих Б.А.
Двухступенчатое моделирование программ с процедурами
Аннотация:
В статье предлагается графовая формализация программ с процедурами и представлено решение задачи поиска подходящих алгебраических моделей программ, аппроксимирующих указанный класс программ с процедурами. Эта аппроксимация достигается за два этапа. Вначале вводится стандартная модель программ с процедурами, которая является расширением известной стандартной (первопорядковой) модели программ без процедур. Показано, что для изучения поведения схем программ в стандартной модели достаточно ограничиться свободными (эрбрановскими) интерпретациями. Далее определены алгебраические модели программ с процедурами и показана их взаимосвязь со стандартной моделью программ. На основании этого установлено, что построенный класс алгебраических моделей программ может служить аппроксимацией программ с процедурами.
Ключевые слова:
модель программ, процедура, отношение аппроксимации, алгебраическая модель программ
Язык публикации: русский, страниц: 18 (с. 283-300)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Подловченко Римма Ивановна,  Московский государственный университет им. М.В. Ломоносова, Научно-исследовательский вычислительный центр
  • Долгих Борис Александрович,  ,  Московский государственный индустриальный университет