Киреев С.Е.   Сарычев В.Г.  

Модель и визуальное представление численных алгоритмов для системы фрагментированного программирования

Докладчик: Киреев С.Е.

На базе существующей модели фрагментированного алгоритма, использующейся в системе фрагментированного программирования LuNA [1], разработана новая модель алгоритма, которая превосходит существующую по ряду критериев:

• наглядность – модель имеет визуальное представление и позволяет наглядно отобразить алгоритм с произвольной степенью детализации, что даёт возможность создания системы визуального программирования;
• устойчивость к ошибкам – элементы новой модели предоставляют меньше возможностей ошибиться при конструировании алгоритмов, а также упрощают автоматический анализ корректности алгоритма;
• прозрачность для автоматического анализа – ряд свойств алгоритма, существенных для его эффективного исполнения, в новой модели выражен явно, что позволяет их использовать для оптимизации генерируемой по алгоритму программы.

Работа выполнена при поддержке РФФИ (коды проектов 14-01-31328, 14-07-00381).

ЛИТЕРАТУРА

1. Malyshkin V.E., Perepelkin V.A. LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem // PaCT-2011 proceedings, Springer, LNCS 6873 (2011), pp. 53-61.