Новый подход к построению методов межпроцедурного анализа программ
Информатика, программирование