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