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

• Date: 2008
• Main Authors: Князева, М.А., Москалев, И.И.
• Format: Article
• Language: Russian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2008
• Subjects: Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/7134
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ / М.А. Князева, И.И. Москалев // Штучний інтелект. — 2008. — № 3. — С. 674-680. — Бібліогр.: 11 назв. — рос.

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