Для решения образовательных, научных и практических проблем в области преобразований программ разработана концепция специализированного банка знаний о преобразованиях программ в рамках нового научного направления "Компьютерные банки знаний". В статье описан современный взгляд на существующие подсистемы потокового анализа программ, после чего предложены метод потокового анализа программ в терминах онтологии знаний о потоковом анализе программ, подсистема интерпретации методов потокового анализа программ в специализированном банке знаний о преобразованиях программ.
