Разработка автоматизированных методов анализа, преобразования и порождения программ. Специализация программ (методами частичных вычислений и суперкомпиляции).
Информационные Технологии – Языки программирования