Киреев С.Е. Sarychev V.G.
Модель и визуальное представление численных алгоритмов для системы фрагментированного программирования
Reporter: Киреев С.Е.
На базе существующей модели фрагментированного алгоритма, использующейся в системе фрагментированного программирования LuNA [1], разработана новая модель алгоритма, которая превосходит существующую по ряду критериев:
- наглядность – модель имеет визуальное представление и позволяет наглядно отобразить алгоритм с произвольной степенью детализации, что даёт возможность создания системы визуального программирования;
- устойчивость к ошибкам – элементы новой модели предоставляют меньше возможностей ошибиться при конструировании алгоритмов, а также упрощают автоматический анализ корректности алгоритма;
- прозрачность для автоматического анализа – ряд свойств алгоритма, существенных для его эффективного исполнения, в новой модели выражен явно, что позволяет их использовать для оптимизации генерируемой по алгоритму программы.
Работа выполнена при поддержке РФФИ (коды проектов 14-01-31328, 14-07-00381).
ЛИТЕРАТУРА
- 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.
To reports list