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