Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ

Abstract

Интерпретатор методов потокового анализа является основной частью подсистемы потокового анализа в специализированном банке знаний о преобразованиях программ (СБкЗ_ПП). Данная подсистема осуществляет интерпретацию методов потокового анализа и занимается расширением модели структурных программ, терминами потокового анализа. Расширение модели программы терминами потокового анализа необходимо для дальнейшего проведения оптимизирующих преобразований на ней. Статья содержит описание методов потокового анализа программ в терминах онтологии знаний о потоковом анализе программ, метода интерпретации методов потокового анализа программ и описание интерпретатора методов потокового анализа программ.

The concept of Specialized knowledge bank of program transformations is developed in order to solve educational, scientific and practical problems in the field of program transformations according to a new scientific direction “Computer knowledge banks”. The modern point of view on existing program transformation systems is given in this paper. Then we suggest the approach to development of program transformation system within the Specialized knowledge bank of program transformations.

Работа выполнена в рамках программы №14 фундаментальных исследований Президиума РАН, проект 06-I-П14-052.