В монографии изложены результаты разработки алгоритмов статического анализа высокоуровневых программ, которая проводилась в рамках проекта «Диалоговый высокоуровневый оптимизирующий распараллеливатель программ и его приложения» (ДВОР) на кафедре Алгебры и дискретной математики факультета Математики, механики и компьютерных наук Южного федерального университета. Преимущества предложенных автором алгоритмов по сравнению с алгоритмами, реализованными в известных коммерческих системах, показаны на реальных программах из наборов тестов SPEC и NAS. Данная книга предназначена для системных программистов. Это и многое другое вы найдете в книге Статический анализ высокоуровневых программ (Степан Полуян)