Информатика, вычислительная техника и управление. Диссертация Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов : диссертация ... кандидата физико-математических наук : 05.13.11, Новосибирск, 2010