Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
Интерпретатор методов потокового анализа является основной частью подсистемы потокового анализа в специализированном банке знаний о преобразованиях программ (СБкЗ_ПП). Данная подсистема осуществляет интерпретацию методов потокового анализа и занимается расширением модели структурных программ, тер...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/7134 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ / М.А. Князева, И.И. Москалев // Штучний інтелект. — 2008. — № 3. — С. 674-680. — Бібліогр.: 11 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Интерпретатор методов потокового анализа является основной частью подсистемы потокового анализа в
специализированном банке знаний о преобразованиях программ (СБкЗ_ПП). Данная подсистема осуществляет
интерпретацию методов потокового анализа и занимается расширением модели структурных программ,
терминами потокового анализа. Расширение модели программы терминами потокового анализа
необходимо для дальнейшего проведения оптимизирующих преобразований на ней. Статья содержит
описание методов потокового анализа программ в терминах онтологии знаний о потоковом анализе
программ, метода интерпретации методов потокового анализа программ и описание интерпретатора
методов потокового анализа программ.
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.
|
|---|---|
| ISSN: | 1561-5359 |